guard stuff

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index dfbd1ec983c33e2468e9819d310337935b02f6b0..f25c9d038021097d2eaa6acb9efe0e8c05136cc9 100644 (file)
--- 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);