From d081477e49ac2d12f1e39fe13c18aea76740b0fc Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 9 Nov 2010 02:29:14 +0000
Subject: [PATCH] generated traversers already release

---
 Robust/src/Runtime/oooJava/rcr_runtime.c | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Robust/src/Runtime/oooJava/rcr_runtime.c b/Robust/src/Runtime/oooJava/rcr_runtime.c
index 3112ef89..fc7c1894 100644
--- a/Robust/src/Runtime/oooJava/rcr_runtime.c
+++ b/Robust/src/Runtime/oooJava/rcr_runtime.c
@@ -14,9 +14,6 @@ void * workerTR(void *x) {
       tmp=(SESEcommon *) dequeueTR(queue);
       if (tmp!=NULL) {
 	tasktraverse(tmp);
-#ifndef OOO_DISABLE_TASKMEMPOOL
-	RELEASE_REFERENCE_TO(tmp);
-#endif
       } else {
 	sched_yield();
       }
-- 
2.34.1