generated traversers already release

diff --git a/Robust/src/Runtime/oooJava/rcr_runtime.c b/Robust/src/Runtime/oooJava/rcr_runtime.c
index 3112ef89940b97242c504bfda130f7644c591115..fc7c1894487d220df8f6edcca263de72d668ae1b 100644 (file)
--- 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();
       }