TheoremProverException.java

package edu.udel.cis.vsl.tass.prove.IF;

public class TheoremProverException extends Exception {

	/**
	 * Generated ID.
	 */
	private static final long serialVersionUID = -6788820073994943518L;

	public TheoremProverException(String message) {
		super(message);
	}

}