From: jjenista <jjenista>
Date: Tue, 9 Nov 2010 02:29:14 +0000 (+0000)
Subject: generated traversers already release
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=d081477e49ac2d12f1e39fe13c18aea76740b0fc;p=IRC.git

generated traversers already release
---

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();
       }