RDLProofSystem / src / main / java / exceptions / CoefficientNotOneException.java

package exceptions;

public class CoefficientNotOneException extends RuntimeException {

	public CoefficientNotOneException(String msg) {
		super(msg);
	}
	
	public CoefficientNotOneException() {
		super("Coefficient is not 1.");
	}
	
}