remove Node from GSS.hash when destroyed

darcs-hash:20070909190417-5007d-ea48e8b6865651ea97ccdc66ca415f2b53e4fe8a.gz

diff --git a/src/edu/berkeley/sbp/Node.java b/src/edu/berkeley/sbp/Node.java
index 740d8a6..6fe6a74 100644 (file)
--- a/src/edu/berkeley/sbp/Node.java
+++ b/src/edu/berkeley/sbp/Node.java
@@ -40,6 +40,8 @@ final class Node
         dead |= results.size()==0;
         if (!dead) return;
         destroyed = true;
+        if (phase() != null && phase().hash != null)
+            phase().hash.remove(state, predPhase);
         while(successors.size()>0)
             for(Result r : successors) {
                 successors.remove(r);