More bug fixes...and debug flags
[repair.git] / Repair / RepairCompiler / MCC / Compiler.java
index 9ecf6a6..f10b39d 100755 (executable)
@@ -21,6 +21,8 @@ public class Compiler {
     public static boolean REPAIR=true;
     public static boolean AGGRESSIVESEARCH=false;
     public static boolean PRUNEQUANTIFIERS=false;
+    public static boolean GENERATEDEBUGHOOKS=true;
+    public static boolean GENERATEDEBUGPRINT=true;
 
     public static void main(String[] args) {
         State state = null;