X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96cedde3cdbc0b8ffc3f096a1b65d021b0226f99..f661b305eb3d0a02ea818117b01d73463ebd9e03:/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; }; }