Updates to allow discovering of partial functions

[repair.git] / Repair / RepairCompiler / MCC / IR / ExactSize.java

diff --git a/Repair/RepairCompiler/MCC/IR/ExactSize.java b/Repair/RepairCompiler/MCC/IR/ExactSize.java
index b5b98518d54b36bcc6c8b8e5123ad3ec1f8cbe86..1b665fce32aace3d8826702d310135c162c5cb3e 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/ExactSize.java
+++ b/Repair/RepairCompiler/MCC/IR/ExactSize.java
@@ -13,7 +13,7 @@ class ExactSize {
        this.state=state;
        this.sizemap=new Hashtable();
        this.constraintmap=new Hashtable();
-       this.setanalysis=new SetAnalysis(state);
+       this.setanalysis=state.setanalysis;
        computesizes();
     }