model and checks

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

diff --git a/Repair/RepairCompiler/MCC/IR/Constraint.java b/Repair/RepairCompiler/MCC/IR/Constraint.java
index ec216b6a0f523c2aa7662c7a1865915703a7ce64..61f9b90a25376478fd2b8de1d10bfaa97c1a4416 100755 (executable)
--- a/Repair/RepairCompiler/MCC/IR/Constraint.java
+++ b/Repair/RepairCompiler/MCC/IR/Constraint.java
@@ -40,8 +40,8 @@ public class Constraint {
         this.crash = crash;
     }
 
-    public Iterator quantifiers() {
-        return quantifiers.iterator();
+    public ListIterator quantifiers() {
+        return quantifiers.listIterator();
     }
 
     public Set getRequiredDescriptorsFromQuantifiers() {