Checking in code to perform safety checks on repair dependency graph.
[repair.git] / Repair / RepairCompiler / MCC / IR / TermNode.java
index 7fadf32..337c569 100755 (executable)
@@ -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;