guard header files

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index 25362e6eba0a4c62959343ca32d0d8cdd7675d24..dfbd1ec983c33e2468e9819d310337935b02f6b0 100644 (file)
--- a/Robust/src/Runtime/thread.c
+++ b/Robust/src/Runtime/thread.c
@@ -6,8 +6,11 @@
 #include "thread.h"
 #include "option.h"
 #include <signal.h>
+
+#ifdef DSTM
 #include <DSTM/interface/dstm.h>
 #include <DSTM/interface/llookup.h>
+#endif
 
 #ifndef RAW
 #include <stdio.h>