bug fix

diff --git a/Robust/src/Runtime/garbage.c b/Robust/src/Runtime/garbage.c
index dcef65b701467b10695e71b2f6cf189d079692e1..1df73122832316939e78f490c8b3460297e6e69c 100644 (file)
--- a/Robust/src/Runtime/garbage.c
+++ b/Robust/src/Runtime/garbage.c
@@ -416,6 +416,11 @@ void collect(struct garbagelist * stackptr) {
     // update forward list & memory queue for the current SESE
     updateForwardList(&((SESEcommon*)listptr->seseCommon)->forwardList,FALSE);
     updateMemoryQueue((SESEcommon*)(listptr->seseCommon));
+#endif
+#ifdef THREADS
+    void *orig=pthread_getspecific(threadlocks);
+    ENQUEUE(orig, orig);
+    pthread_setspecific(threadlocks, orig);
 #endif
     listptr=listptr->next;
   }