From 41a579f49a23042db2c9eca259e4f9ae0c5f7d2d Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 7 Mar 2009 01:29:49 +0000
Subject: [PATCH] guard stuff

---
 Robust/src/Runtime/thread.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index dfbd1ec9..f25c9d03 100644
--- a/Robust/src/Runtime/thread.c
+++ b/Robust/src/Runtime/thread.c
@@ -30,9 +30,11 @@ pthread_cond_t threadnotifycond;
 pthread_key_t oidval;
 
 void threadexit() {
+#ifdef DSTM
   objheader_t* ptr;
-  void *value;
   unsigned int oidvalue;
+#endif
+  void *value;
 
 #ifdef THREADS
   struct ___Object___ *ll=pthread_getspecific(threadlocks);
-- 
2.34.1