CheckBox.java

package nl.uva.sc.encoders.qls.ast.widget;

import nl.uva.sc.encoders.ql.ast.TextLocation;

public class CheckBox extends Widget {

	public CheckBox(TextLocation textLocation) {
		super(textLocation);
	}

}