From 731f00e92c8a8e205678900bc038a8c24cf9b2ae Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 9 Sep 2007 15:04:17 -0400 Subject: [PATCH] remove Node from GSS.hash when destroyed darcs-hash:20070909190417-5007d-ea48e8b6865651ea97ccdc66ca415f2b53e4fe8a.gz --- src/edu/berkeley/sbp/Node.java | 2 ++ 1 file changed, 2 insertions(+) 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); -- 1.7.10.4