X-Git-Url: http://plrg.eecs.uci.edu/git/?p=repair.git;a=blobdiff_plain;f=Repair%2FRepairCompiler%2FMCC%2FIR%2FTermNode.java;h=337c5697d963bf2f93f6143df67653143bd96709;hp=7fadf32a9d7e7ff428d4015b97b0307f8230146c;hb=6e6caa157ea20e565ea92786ef266c952e6f39b3;hpb=0ddd66cf596f161886dc67214f3fb2e19f6f7168

diff --git a/Repair/RepairCompiler/MCC/IR/TermNode.java b/Repair/RepairCompiler/MCC/IR/TermNode.java
index 7fadf32..337c569 100755
--- 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;