X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FTDL.cup;h=db35ad5cc0af5510ec2bceabb34eab2a5f15378c;hp=c616b94395dd1c9df0cc43928f80ce0af3fad521;hb=2aa90220f8a6a51dc84abb6c1dbb85db0b204f42;hpb=9b8080745d3bad8954fef69740cf48be0ae49542

diff --git a/Repair/RepairCompiler/MCC/TDL.cup b/Repair/RepairCompiler/MCC/TDL.cup
index c616b94..db35ad5 100755
--- a/Repair/RepairCompiler/MCC/TDL.cup
+++ b/Repair/RepairCompiler/MCC/TDL.cup
@@ -56,13 +56,15 @@ action code {:
 init with {: :}
 
 parser code {:
+
+	public String filename;
        
 	public void syntax_error (java_cup.runtime.Symbol current) {
 
 		CUP$TDLParser$actions.errors = true;
 		Symbol symbol = (Symbol) current;
-		report_error("TDL: Syntax error at line " + (symbol.line + 1)
-		+ ", column " + LineCount.getColumn(symbol.left) + ": " + current.value, current);
+		report_error(filename+":"+(symbol.line+1)+": Syntax error at column " + LineCount.getColumn(symbol.left) +": " + current.value, current);
+		System.exit(0);
 	}
 
 	public void report_fatal_error (String message, Object info) {