X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FState.java;h=024aed37ec7aa0a555c5f001e983a23bf73e0a0b;hp=9f907a918e14f965b40dc525c61467923903349e;hb=cc8dc64af87942be304d8d599dd3779002a2c645;hpb=6e6caa157ea20e565ea92786ef266c952e6f39b3

diff --git a/Repair/RepairCompiler/MCC/State.java b/Repair/RepairCompiler/MCC/State.java
index 9f907a9..024aed3 100755
--- a/Repair/RepairCompiler/MCC/State.java
+++ b/Repair/RepairCompiler/MCC/State.java
@@ -33,7 +33,7 @@ public class State {
 
     public Hashtable rulenodes;
     public Hashtable constraintnodes;    
-
+    public Hashtable implicitrule;
     State() {
         vConstraints = null;
         vRules = null;
@@ -47,6 +47,7 @@ public class State {
         ptModel = null;
         ptConstraints = null;
         ptSpace = null;
+	implicitrule=new Hashtable();
     }
 
     void printall() {