From: adam <adam@megacz.com>
Date: Sun, 9 Sep 2007 19:04:17 +0000 (-0400)
Subject: remove Node from GSS.hash when destroyed
X-Git-Url: http://git.megacz.com/?p=sbp.git;a=commitdiff_plain;h=731f00e92c8a8e205678900bc038a8c24cf9b2ae;hp=a891589ff2e280982cf86a4f7f71431291b706ad;ds=sidebyside

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