#ifndef SIMGRID_MC_BASE_H
#define SIMGRID_MC_BASE_H
+#ifdef __cplusplus
+#include <vector>
+#endif
+
#include <xbt/base.h>
-#include "src/simix/popping_private.h" // smx_simcall_t
+#include <simgrid/forward.h>
#ifdef __cplusplus
namespace simgrid {
namespace mc {
-/** Can this requests can be executed.
+/** Can this requests can be executed?
*
* Most requests are always enabled but WAIT and WAITANY
* are not always enabled: a WAIT where the communication does not