From c51823541276dc4b772e8c1c94dafb1291715268 Mon Sep 17 00:00:00 2001
From: unknown <pierre@.(none)>
Date: Fri, 1 Jun 2012 11:52:24 +0200
Subject: [PATCH] Fix compilation on Windows with pthread.

---
 include/xbt/xbt_os_thread.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/include/xbt/xbt_os_thread.h b/include/xbt/xbt_os_thread.h
index bcebc8febb..4a75754754 100644
--- a/include/xbt/xbt_os_thread.h
+++ b/include/xbt/xbt_os_thread.h
@@ -10,7 +10,9 @@
 
 #include "simgrid_config.h" /* Windows or Posix */
 #include "xbt/function_types.h"
-
+#ifdef _XBT_WIN32
+#include "pthread.h"
+#endif
 SG_BEGIN_DECL()
 
 /** @addtogroup XBT_thread
-- 
2.20.1