bug fix

diff --git a/Robust/src/Runtime/oooJava/hashStructure.c b/Robust/src/Runtime/oooJava/hashStructure.c
index d49a4f92c10cf6cc3d227addf5c065f2062a9cf9..8f7b4db861f5264f100a66481f7f8863841069d0 100644 (file)
--- 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))