X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FCompiler.java;h=f10b39d879db782dd6ccc9861d5f337c8e96c714;hp=9ecf6a653a6e40209b1e04f5cc0ed30b898fbe6a;hb=d086755cbded13a81a70c555327b7a3a766b31b8;hpb=860ccbdf9cd6f96c6bba58641372b6776987a080;ds=inline

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index 9ecf6a6..f10b39d 100755
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -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;