X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FNode.java;h=6fe6a74c86b2b493e0a73530e7fc9ac2ab741652;hp=740d8a6d49bcac0e4410de67809ddc6fff6cd03b;hb=731f00e92c8a8e205678900bc038a8c24cf9b2ae;hpb=a891589ff2e280982cf86a4f7f71431291b706ad;ds=sidebyside

diff --git a/src/edu/berkeley/sbp/Node.java b/src/edu/berkeley/sbp/Node.java
index 740d8a6..6fe6a74 100644
--- 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);