Updates to allow discovering of partial functions

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

diff --git a/Repair/RepairCompiler/MCC/Compiler.java b/Repair/RepairCompiler/MCC/Compiler.java
index a1f8bf6ffef8b22d40eb3ba4d6c49c48fd872821..fc4f7382a5de0a4ba7363b20ffc3314818e6c9d1 100755 (executable)
--- a/Repair/RepairCompiler/MCC/Compiler.java
+++ b/Repair/RepairCompiler/MCC/Compiler.java
@@ -62,6 +62,7 @@ public class Compiler {
        success = semantics(state) || error(state, "Semantic analysis failed, not attempting variable initialization.");
        
        
+       state.setanalysis=new SetAnalysis(state);
        Termination termination=null;
        /* Check partition constraints */
        (new ImplicitSchema(state)).update();