#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