Fix compilation on Windows with pthread.

diff --git a/include/xbt/xbt_os_thread.h b/include/xbt/xbt_os_thread.h
index bcebc8f..4a75754 100644 (file)
--- 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