bug fixes

[IRC.git] / Robust / src / IR / Tree / ConstraintCheck.java

diff --git a/Robust/src/IR/Tree/ConstraintCheck.java b/Robust/src/IR/Tree/ConstraintCheck.java
index 983c225c9381f2d954fdf290596974ec411b828b..2af99398c530ec52d061fa97ac6250657df62b5b 100644 (file)
--- a/Robust/src/IR/Tree/ConstraintCheck.java
+++ b/Robust/src/IR/Tree/ConstraintCheck.java
@@ -35,7 +35,7 @@ public class ConstraintCheck {
     }
 
     public String getVar(int i) {
-       return (String) args.get(i);
+       return (String) vars.get(i);
     }
 
     public String printNode(int indent) {