From ad3d03cb96cd63cf6b157f2f501b0342569f9325 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 26 Mar 2011 03:50:29 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Runtime/oooJava/hashStructure.c | 2 ++
 1 file changed, 2 insertions(+)

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