remove Node from GSS.hash when destroyed

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

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);