UnwrapLeft, error reporting improvements

[sbp.git] / src / edu / berkeley / sbp / Result.java

diff --git a/src/edu/berkeley/sbp/Result.java b/src/edu/berkeley/sbp/Result.java
index d333f41..95baeba 100644 (file)
--- a/src/edu/berkeley/sbp/Result.java
+++ b/src/edu/berkeley/sbp/Result.java
@@ -40,7 +40,7 @@ final class Result implements GraphViz.ToGraphViz {
         parent.removeChild(this);
         while(children.size() > 0)
             for(Node n : children) {
         parent.removeChild(this);
         while(children.size() > 0)
             for(Node n : children) {

-                children.remove(n);
+                removeChild(n);

                 n.removeResult(this);
                 break;
             }
                 n.removeResult(this);
                 break;
             }