RDLProofSystem / src / main / java / exceptions / TooManyVariablesException.java

package exceptions;

public class TooManyVariablesException extends RuntimeException {
	
	public TooManyVariablesException(String msg) {
		super(msg);
	}
	
	public TooManyVariablesException() {
		super("Too many variables");
	}

}