Add option to remove conjunctions.

[repair.git] / Repair / RepairCompiler / MCC / Compiler.java

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index a53acc721a85219c8e47d309aca06170d926b2de..f0b13cd9712ebc89312fb79755479bdb998ad6ac 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -28,11 +28,14 @@ public class Compiler {
     public static boolean OMITCOMP=false;
     public static boolean MERGENODES=false;
     public static boolean TIME=false;
+
+    public static HashSet removeconj=new HashSet();
     public static boolean DEBUGGRAPH=false;
     public static boolean REJECTLENGTH=false;
     public static boolean PRINTREPAIRS=false;
     public static boolean EXACTALLOCATION=false;
 
+
     public static Vector debuggraphs=new Vector();
 
     public static void main(String[] args) {