From d15ba2475716fb74efe10d179ed11442d11362d9 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 2 Apr 2011 20:22:58 +0000
Subject: [PATCH] bug fix

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

diff --git a/Robust/src/Runtime/oooJava/Queue_RCR.c b/Robust/src/Runtime/oooJava/Queue_RCR.c
index bf499543..9b44b59f 100644
--- a/Robust/src/Runtime/oooJava/Queue_RCR.c
+++ b/Robust/src/Runtime/oooJava/Queue_RCR.c
@@ -12,8 +12,8 @@ void resetRCRQueue() {
 //0 would mean success
 //1 would mean fail
 int enqueueRCRQueue(void * ptr, int traverserState) {
-  unsigned int oldhead=myRCRQueue.head+1;
-  unsigned int head=oldhead;
+  unsigned int oldhead=myRCRQueue.head;
+  unsigned int head=oldhead+1;
   if (head&SIZE)
     head=0;
 
-- 
2.34.1