NumberField.java

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

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

public class NumberField extends Widget {

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

}