2 bug fixes to getRequiredConstraints

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

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index 213abddf6060bf7def18410c0e532ccf8bed60e9..5fa3fca1a81ccf07b6d65b7838959ef55e645319 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -29,6 +29,7 @@ public class Compiler {
     public static boolean MERGENODES=false;
     public static boolean TIME=false;
     public static boolean DEBUGGRAPH=false;
+    public static boolean REJECTLENGTH=false;
 
     public static Vector debuggraphs=new Vector();