#include <simgrid/simix.h>
#include "simgrid_config.h"
-
+#include "internal_config.h"
#include "../simix/smx_private.h"
SG_BEGIN_DECL()
int MC_request_is_visible(smx_simcall_t req);
void MC_wait_for_requests(void);
+extern double *mc_time;
+
SG_END_DECL()
#endif