last bug

diff --git a/Robust/src/IR/Tree/SemanticCheck.java b/Robust/src/IR/Tree/SemanticCheck.java
index ceef3bce687f092e3db9c5d8a6157869f77518bf..f813abd8a69e954c5c1799b5233ef9060672e0df 100644 (file)
--- a/Robust/src/IR/Tree/SemanticCheck.java
+++ b/Robust/src/IR/Tree/SemanticCheck.java
@@ -63,6 +63,7 @@ public class SemanticCheck {
     while(!toanalyze.isEmpty()) {
       Object obj=toanalyze.iterator().next();
       if (obj instanceof TaskDescriptor) {
+       toanalyze.remove(obj);
        checkTask((TaskDescriptor)obj);
       } else {
        ClassDescriptor cd=(ClassDescriptor)obj;