lots of bug fixes

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

diff --git a/Robust/src/IR/Flat/FlatNode.java b/Robust/src/IR/Flat/FlatNode.java
index 5bc5da965084a05de647df52433144b5101bd718..ba2c3a8dc5624c8856e45c8130459ff495c8f607 100644 (file)
--- a/Robust/src/IR/Flat/FlatNode.java
+++ b/Robust/src/IR/Flat/FlatNode.java
@@ -5,7 +5,7 @@ import java.util.Set;
 import java.util.Iterator;
 
 public class FlatNode {
-  protected Vector next;
+  public Vector next;
   protected Vector prev;
 
   public FlatNode() {
@@ -117,12 +117,14 @@ public class FlatNode {
     }
     for(int i=0;i<next.size();i++) {
       FlatNode nnext=(FlatNode)next.get(i);
-      fnnew.next.set(i,nnext);;
+      fnnew.next.set(i,nnext);
       for(int j=0;j<nnext.numPrev();j++) {
        FlatNode n=nnext.getPrev(j);
        if (n==this)
          nnext.prev.set(j, fnnew);
       }
     }
+    next=null;
+    prev=null;
   }
 }