RDLProofSystem / src / main / java / exceptions / MissingContextException.java

package exceptions;

public class MissingContextException extends RuntimeException{

	public MissingContextException(String msg) {
		super(msg);
	}
	
	public MissingContextException() {
		super("some context missing");
	}
	
}