bug fix

diff --git a/Robust/src/Runtime/oooJava/Queue_RCR.c b/Robust/src/Runtime/oooJava/Queue_RCR.c
index bf499543223f9a688a9d0cd866cefb51b84986af..9b44b59f2e06b561c1bab1a218fcafeaa1405972 100644 (file)
--- 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;