/**
 * Exceptions thrown by the {@link Parser Parser} if a string is not a
 * well-formed sentence of propositional logic.
 *
 *
 * Created: Tue Sep 23 12:33:55 2003
 *
 * @author <a href="mailto:grant@csc.liv.ac.uk">Grant Malcolm</a>
 * @version 0.0
 */

public class ParseException extends Exception {
	/**
	 * Creates a new <code>ParseException</code> instance.
	 *
	 * @param s
	 *            the error message
	 */
	public ParseException(String s) {
		super(s);
	}

	/**
	 * Return the error-message.
	 *
	 * @return the error-message
	 */
	public String getMessage() {
		return "Parse error: " + super.getMessage();
	}

}// ParseException