From d7d4559bf53007390adb7113b23be6858328cdfa Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 2 Apr 2011 21:03:59 +0000
Subject: [PATCH] missing barrier

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

diff --git a/Robust/src/Runtime/oooJava/hashStructure.c b/Robust/src/Runtime/oooJava/hashStructure.c
index 772b7e8e..2bbf4c84 100644
--- a/Robust/src/Runtime/oooJava/hashStructure.c
+++ b/Robust/src/Runtime/oooJava/hashStructure.c
@@ -160,7 +160,7 @@ inline int rcr_BWRITEBINCASE(HashStructure *T, int key, SESEcommon *task, struct
   b->item.status=status;
   bintail->next=(BinItem_rcr*)b;
   be->tail=(BinItem_rcr*)b;
-  
+  BARRIER();
   if (bintail->status==READY&&bintail->total==0) {
     //we may have to set write as ready
     while(1) {
-- 
2.34.1