checked in changes

diff --git a/Robust/src/Makefile b/Robust/src/Makefile
index 38fe6669ac7f00ab9925beb2a3eb8f03a5ae3e1e..8d60cc042fa8f8ad7e8e0a15d071c48fe19ce00b 100644 (file)
--- a/Robust/src/Makefile
+++ b/Robust/src/Makefile
@@ -46,7 +46,7 @@ all: Parse/Sym.class Parse/Parser.class $(CLASSFILES)
 
 Parse/Parser.java Parse/Sym.java: Parse/java14.cup
        cd Parse && \
-        java -cp ../../cup:$(CLASSPATH) java_cup.Main -debug -nonterms -parser Parser -symbols Sym < java14.cup
+        java -cp ../../cup:$(CLASSPATH) java_cup.Main -parser Parser -symbols Sym < java14.cup
 
 %.class: %.java
        javac -cp ../cup:.:$(CLASSPATH) $<