start of new file
[IRC.git] / Robust / src / IR / Flat / FlatNode.java
index b1780b100c83abca0445bf3f87dbf57f84fd71f9..714b894bfad3ba57e37519aab8c23afa324e2109 100644 (file)
@@ -37,6 +37,7 @@ public class FlatNode {
        FlatNode old=getNext(i);
        next.set(i, n);
        old.prev.remove(this);
+       n.addPrev(this);
     }
 
     protected void addPrev(FlatNode p) {