From: bdemsky <bdemsky>
Date: Sat, 2 Apr 2011 20:22:58 +0000 (+0000)
Subject: bug fix
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d15ba2475716fb74efe10d179ed11442d11362d9;p=IRC.git

bug fix
---

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;