Added support to printout data structure update nodes (bindings/updates)

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

diff --git a/Repair/RepairCompiler/MCC/IR/RelationExpr.java b/Repair/RepairCompiler/MCC/IR/RelationExpr.java
index 543b8e78cc4391088b5ada51dadd9fca1eb4f144..1b7336aae3659469fddca7e9246fd6d2a17b472c 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/RelationExpr.java
+++ b/Repair/RepairCompiler/MCC/IR/RelationExpr.java
@@ -14,6 +14,10 @@ public class RelationExpr extends Expr {
         this.inverse = inverse;
     }
 
+    public Set freeVars() {
+       return expr.freeVars();
+    }
+
     public String name() {
        String name=expr.name()+".";
        if (inverse)