package jayhorn.solver.spacer;

import jayhorn.solver.ProverTupleType;
import jayhorn.solver.ProverType;

public class SpacerTupleType extends ProverTupleType{

	public SpacerTupleType(ProverType[] subTypes) {
		super(subTypes);
	}
	
	

}
