Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

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

diff --git a/include/xbt/synchro.h b/include/xbt/synchro.h
index 340ef71..ba772f7 100644 (file)
--- a/include/xbt/synchro.h
+++ b/include/xbt/synchro.h
@@ -8,8 +8,6 @@
 #ifndef XBT_THREAD_H
 #define XBT_THREAD_H
 
-#include <simgrid/simix.h>
-
 #include "xbt/function_types.h"
 #include "xbt/misc.h" /* SG_BEGIN_DECL */