Generalize definition of SumExpr a little...Lets sum all elements of

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

diff --git a/Repair/RepairCompiler/MCC/State.java b/Repair/RepairCompiler/MCC/State.java
index a12d675903e15180b3f6ae79d7d0b0d06b3edd22..d30e7cc4af074909c953d8085b7148b0a36e5e59 100755 (executable)
--- a/Repair/RepairCompiler/MCC/State.java
+++ b/Repair/RepairCompiler/MCC/State.java
@@ -35,6 +35,8 @@ public class State {
     public Hashtable constraintnodes;    
     public Hashtable implicitrule;
     public Hashtable implicitruleinv;
+
+    public SetAnalysis setanalysis;
     State() {
         vConstraints = null;
         vRules = null;