lib/browser/GraphBrowser/ParseError.java
author paulson
Wed, 19 Jul 2006 11:55:26 +0200
changeset 20153 6ff5d35749b0
parent 13973 9170772bf420
permissions -rw-r--r--
Fixed the bugs introduced by the last commit! Output is now *identical* to that produced by the old version, based on a-lists.

package GraphBrowser;

class ParseError extends Exception {
	public ParseError(String s) { super(s); }
}