Checking in code to perform safety checks on repair dependency graph.

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

diff --git a/Repair/RepairCompiler/MCC/IR/TermNode.java b/Repair/RepairCompiler/MCC/IR/TermNode.java
index 7fadf32..337c569 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/TermNode.java
+++ b/Repair/RepairCompiler/MCC/IR/TermNode.java
@@ -15,6 +15,10 @@ class TermNode {
     ScopeNode scope;
     MultUpdateNode update;
 
+    public int getType() {
+       return type;
+    }
+
     public TermNode(Constraint constr, Conjunction conj) {
        this.constr=constr;
        this.conj=conj;