From e2441cdcf4648634c39b93a66406b78cf2940fde Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Fri, 26 Jun 2009 00:45:46 +0000
Subject: [PATCH] bug fix

---
 Robust/src/IR/Flat/Inliner.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Robust/src/IR/Flat/Inliner.java b/Robust/src/IR/Flat/Inliner.java
index 61f3fa50..bd87b314 100644
--- 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);
 	}
       }
 
-- 
2.34.1