#include <xbt/str.h>
#include <xbt/sysdep.h>
#include <xbt/dynar.h>
-#include <xbt/misc.h>
#include "src/mc/mc_request.h"
#include "src/mc/mc_safety.h"
}
static inline
-smx_rdv_t MC_get_rdv(smx_simcall_t r)
+smx_mailbox_t MC_get_rdv(smx_simcall_t r)
{
switch(r->call) {
case SIMCALL_COMM_ISEND:
if ((r1->call == SIMCALL_COMM_ISEND || r1->call == SIMCALL_COMM_IRECV)
&& r2->call == SIMCALL_COMM_WAIT) {
- smx_rdv_t rdv = MC_get_rdv(r1);
+ smx_mailbox_t rdv = MC_get_rdv(r1);
if (rdv != synchro2->comm.rdv_cpy
&& simcall_comm_wait__get__timeout(r2) <= 0)