Cristian bug fixes.

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

diff --git a/Repair/RepairCompiler/MCC/IR/RelationInclusion.java b/Repair/RepairCompiler/MCC/IR/RelationInclusion.java
index 58e266478fec77a6d7bc0e79d33bbd3e6906267d..b31700c8aadd0ce51f0f74004f3e94f02d4a59e4 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/RelationInclusion.java
+++ b/Repair/RepairCompiler/MCC/IR/RelationInclusion.java
@@ -88,7 +88,7 @@ public class RelationInclusion extends Inclusion {
         }
 
         String addeditem = (VarDescriptor.makeNew("addeditem")).getSafeSymbol();
-       if (!Compiler.REPAIR) {
+       /*      if (!Compiler.REPAIR) {
            writer.outputline("int " + addeditem + ";");
            if (relation.testUsage(RelationDescriptor.IMAGE)) {
                writer.outputline(addeditem + " = " + relation.getSafeSymbol() + "_hash->add((int)" + ld.getSafeSymbol() + ", (int)" + rd.getSafeSymbol() + ");");
@@ -97,9 +97,9 @@ public class RelationInclusion extends Inclusion {
            if (relation.testUsage(RelationDescriptor.INVIMAGE)) {
                writer.outputline(addeditem + " = " + relation.getSafeSymbol() + "_hashinv->add((int)" + rd.getSafeSymbol() + ", (int)" + ld.getSafeSymbol() + ");");
            }
-       } else {
+           } else {*/
            Repair.generate_dispatch(writer, relation, ld.getSafeSymbol(), rd.getSafeSymbol());
-       }
+           //  }
        
         if (RelationInclusion.worklist) {
             writer.outputline("if (" + addeditem + ")");