Fix some of Dan's bugs (code generation for relation quantifiers misstyped), didn...

[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 a2b40bcf00a213f757ce8c95685e61ab19436883..d1b3a02d1b281ad31526904079d9b567e291a29a 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/RelationInclusion.java
+++ b/Repair/RepairCompiler/MCC/IR/RelationInclusion.java
@@ -17,6 +17,11 @@ public class RelationInclusion extends Inclusion {
         this.relation = relation;
     }
 
+    public String toString() {
+       String str="<"+leftelementexpr.name()+","+rightelementexpr.name()+"> in "+relation.toString();
+       return str;
+    }
+
     public boolean usesDescriptor(Descriptor d) {
        if (d==relation)
            return true;