worklist version

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

diff --git a/Repair/RepairCompiler/MCC/IR/NaiveGenerator.java b/Repair/RepairCompiler/MCC/IR/NaiveGenerator.java
index bc4e6d47047f61c8fb0e478e734cc00e067fc8ed..dd460118b2f8ae66f14e7f8b732f0736f242f20e 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/NaiveGenerator.java
+++ b/Repair/RepairCompiler/MCC/IR/NaiveGenerator.java
@@ -151,6 +151,9 @@ public class NaiveGenerator {
                 rule.getInclusion().generate(cr);
                 cr.endblock();
 
+                // close startblocks generated by DotExpr memory checks
+                //DotExpr.generate_memory_endblocks(cr);
+
                 while (quantifiers.hasPrevious()) {
                     Quantifier quantifier = (Quantifier) quantifiers.previous();
                     cr.endblock();