lib/browser/GraphBrowser/ParseError.java
author krauss
Mon, 27 Jul 2009 21:47:41 +0200
changeset 32235 8f9b8d14fc9f
parent 13973 9170772bf420
permissions -rw-r--r--
"more standard" argument order of relation composition (op O)

package GraphBrowser;

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