X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96cedde3cdbc0b8ffc3f096a1b65d021b0226f99..2558c8c0eb206ff353cb88672f5a90cd0e2562d3:/src/mc/mc_state.hpp diff --git a/src/mc/mc_state.hpp b/src/mc/mc_state.hpp index fcde776a7d..bfdce906d9 100644 --- a/src/mc/mc_state.hpp +++ b/src/mc/mc_state.hpp @@ -130,7 +130,7 @@ public: explicit State(unsigned long state_number); std::size_t interleaveSize() const; - void addInterleavingSet(smx_actor_t actor) { this->actorStates[actor->pid_].consider(); } + void addInterleavingSet(smx_actor_t actor) { this->actorStates[actor->get_pid()].consider(); } Transition getTransition() const; }; }