1
package isabelle.graphbrowser;
2
3
class ParseError extends Exception {
4
public ParseError(String s) { super(s); }
5
}