changes

[IRC.git] / Robust / src / IR / Flat / FlatMethod.java

diff --git a/Robust/src/IR/Flat/FlatMethod.java b/Robust/src/IR/Flat/FlatMethod.java
index 4955f28ae5b99ef8556bb28bcc12bb27c5131d83..0cd5e7b2e71fff70cc56a16ff68dd65a6109fcab 100644 (file)
--- a/Robust/src/IR/Flat/FlatMethod.java
+++ b/Robust/src/IR/Flat/FlatMethod.java
@@ -141,10 +141,18 @@ public class FlatMethod extends FlatNode {
       if (current_node==null) {
        current_node=(FlatNode)tovisit.iterator().next();
        tovisit.remove(current_node);
+      } else {
+       if (tovisit.contains(current_node))
+         tovisit.remove(current_node);
       }
       visited.add(current_node);
-      if (nodetolabel.containsKey(current_node))
+      if (nodetolabel.containsKey(current_node)) {
        st+="L"+nodetolabel.get(current_node)+":\n";
+       for(int i=0;i<current_node.numPrev();i++) {
+         st+="i="+i+" "+current_node.getPrev(i);
+       }
+       st+="\n";
+      }
       if (current_node.numNext()==0) {
        if (map==null)
          st+="   "+current_node.toString()+"\n";