1) Checking in filesystem example

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

diff --git a/Repair/RepairCompiler/MCC/IR/SetInclusion.java b/Repair/RepairCompiler/MCC/IR/SetInclusion.java
index b18b08e70bcf2266281fadaf704be0e1d889415a..51a5113844a1b3147cc6640c67c7679e623ae5af 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/SetInclusion.java
+++ b/Repair/RepairCompiler/MCC/IR/SetInclusion.java
@@ -64,13 +64,13 @@ public class SetInclusion extends Inclusion {
 
 
         if (dostore) {
-           if (!Compiler.REPAIR) {
+           /*      if (!Compiler.REPAIR) {
                writer.outputline("int " + addeditem + " = 1;");
                writer.outputline(addeditem + " = " + set.getSafeSymbol() + "_hash->add((int)" + vd.getSafeSymbol() 
                                  +  ", (int)" + vd.getSafeSymbol() + ");");
-           } else {
+                                 } else {*/
                Repair.generate_dispatch(writer, set, vd.getSafeSymbol());
-           }
+               //          }
            
             if (SetInclusion.worklist) {
                 writer.outputline("if (" + addeditem + ")");