Bug with time instrumentation code.

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

diff --git a/Repair/RepairCompiler/MCC/State.java b/Repair/RepairCompiler/MCC/State.java
index 9f907a918e14f965b40dc525c61467923903349e..d30e7cc4af074909c953d8085b7148b0a36e5e59 100755 (executable)
--- a/Repair/RepairCompiler/MCC/State.java
+++ b/Repair/RepairCompiler/MCC/State.java
@@ -33,7 +33,10 @@ public class State {
 
     public Hashtable rulenodes;
     public Hashtable constraintnodes;    
+    public Hashtable implicitrule;
+    public Hashtable implicitruleinv;
 
+    public SetAnalysis setanalysis;
     State() {
         vConstraints = null;
         vRules = null;
@@ -47,6 +50,8 @@ public class State {
         ptModel = null;
         ptConstraints = null;
         ptSpace = null;
+       implicitrule=new Hashtable();
+       implicitruleinv=new Hashtable();
     }
 
     void printall() {