// ParserException //////////////////////////////////////////////////////////////////////
- private IOException pe(String s) { return new IOException(sourceName + ":" + parserLine + " " + s); }
+ private IOException pe(String s) { return new IOException(sourceName + ":" + line + " " + s); }
}