//print("Error - comma found before " + found);
//print(JSON.stringify(tokens.lastSym(), null,4));
if (this.ignoreBadGrammer) {
- print("\n" + this.filename + ':' + this.line + " Error - comma found before " + found);
+ print("\n" + this.filename + ":" + this.line.to_string() + " Error - comma found before " + found);
} else {
throw new TokenReader_Error.ArgumentError(
- this.filename + ":" + this.line + " comma found before " + found
+ this.filename + ":" + this.line.to_string() + " comma found before " + found
);