From 31e999e1ef179fd1104347264b9d1ef834c14502 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 7 Apr 2009 22:35:37 +0000
Subject: [PATCH] bug fix

---
 Robust/src/Runtime/garbage.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/garbage.c b/Robust/src/Runtime/garbage.c
index ec6c6340..2039ee3a 100644
--- a/Robust/src/Runtime/garbage.c
+++ b/Robust/src/Runtime/garbage.c
@@ -439,7 +439,7 @@ void collect(struct garbagelist * stackptr) {
   fixtags();
 #endif
 
-#if defined(THREADS)||defined(DSTM)
+#if defined(THREADS)||defined(DSTM)||defined(STM)
   needtocollect=0;
   pthread_mutex_unlock(&gclistlock);
 #endif
-- 
2.34.1