bug fix

diff --git a/Robust/src/IR/Flat/Inliner.java b/Robust/src/IR/Flat/Inliner.java
index 61f3fa50631d75c1de932fc4ccab738e9949ba2f..bd87b31428887440b4134da654b854a93574e99a 100644 (file)
--- a/Robust/src/IR/Flat/Inliner.java
+++ b/Robust/src/IR/Flat/Inliner.java
@@ -133,7 +133,8 @@ public class Inliner {
            fnclone.setNewNext(i, fnnextclone);
          }
        } else {
-         fnclone.addNext(aftercallnode);
+         if (fnclone!=aftercallnode)
+           fnclone.addNext(aftercallnode);
        }
       }