X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FCompiler.java;h=712079db96441cf4de04deb96976c2d7f43b46f7;hp=41794e712df1590a9ee44e1976cbef7567612a4d;hb=726db8dc825fb7f33f64f0aca6a4f63b0ba43313;hpb=64af44575fed40d0a80fa63ef9b3b34d58be5213

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index 41794e7..712079d 100755
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -25,6 +25,7 @@ public class Compiler {
     public static boolean GENERATEDEBUGPRINT=false;
     public static boolean GENERATEINSTRUMENT=false;
     public static boolean ALLOCATECPLUSPLUS=false;
+    public static boolean OMITCOMP=false;
     public static boolean TIME=false;
 
     public static Vector debuggraphs=new Vector();