#include "xbt/parmap.h"
#include "xbt/swag.h"
#include "simgrid/platf.h"
-#include "surf/surf.h"
+#include "simgrid/datatypes.h"
SG_BEGIN_DECL()
} e_smx_state_t;
/** @} */
-
typedef struct s_smx_timer* smx_timer_t;
/* ******************************** Synchro ************************************ */