From 629a2af9aa9cb94b6bcacac2d7a3102338055b7e Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 7 Mar 2009 01:26:45 +0000
Subject: [PATCH] guard header files

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

diff --git a/Robust/src/Runtime/thread.c b/Robust/src/Runtime/thread.c
index 25362e6e..dfbd1ec9 100644
--- 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>
-- 
2.34.1