/* Copyright Andrew Tolmach 2004. All rights reserved. */

class ParseError extends Exception {
    ParseError (String msg) { 
	super(msg);
    }
}