further cut include files

[simgrid.git] / include / xbt / xbt_os_thread.h

diff --git a/include/xbt/xbt_os_thread.h b/include/xbt/xbt_os_thread.h
index f0e976b..a335514 100644 (file)
--- a/include/xbt/xbt_os_thread.h
+++ b/include/xbt/xbt_os_thread.h
@@ -8,11 +8,13 @@
 #ifndef XBT_OS_THREAD_H
 #define XBT_OS_THREAD_H
 
-#include "xbt/base.h"
+#include <xbt/base.h>
+#include <xbt/function_types.h>
+
+#include <pthread.h>
 
 SG_BEGIN_DECL()
 
-#include <pthread.h>
 typedef pthread_key_t xbt_os_thread_key_t;
 
 /** @addtogroup XBT_thread