X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/544e6fac3fc91ae81d5daa4481562240c2cb2467..9692d43fa911bdc2d6d0263a3cb3e22d5e3167fe:/src/mc/mc_state.cpp diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp index 28152cbae4..5033b70e23 100644 --- a/src/mc/mc_state.cpp +++ b/src/mc/mc_state.cpp @@ -69,7 +69,7 @@ Transition State::getTransition() const } static inline smx_simcall_t MC_state_get_request_for_process( - simgrid::mc::State* state, smx_process_t process) + simgrid::mc::State* state, smx_actor_t process) { simgrid::mc::ProcessState* procstate = &state->processStates[process->pid]; state->transition.pid = -1;