From: bdemsky <bdemsky>
Date: Sat, 26 Mar 2011 03:50:29 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ad3d03cb96cd63cf6b157f2f501b0342569f9325;p=IRC.git

bug fix
---

diff --git a/Robust/src/Runtime/oooJava/hashStructure.c b/Robust/src/Runtime/oooJava/hashStructure.c
index d49a4f92..8f7b4db8 100644
--- a/Robust/src/Runtime/oooJava/hashStructure.c
+++ b/Robust/src/Runtime/oooJava/hashStructure.c
@@ -187,6 +187,8 @@ inline int rcr_BWRITEBINCASE(HashStructure *T, int key, SESEcommon *task, struct
     while(b->item.status==NOTREADY) {
       BARRIER();
     }
+    if (!(status&SPEC))
+      enqueuerecord(rcrrec, key, (BinItem_rcr *) b);
     return status&READY;
   } else {
     if (!(status&SPEC))