X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/762110fd8921dc20fb7cbf558a87356776259b0e..686336f25198e15f4d846d7639b5f221587b50b0:/src/mc/mc_state.cpp diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp index 035c8d7acd..436b425004 100644 --- a/src/mc/mc_state.cpp +++ b/src/mc/mc_state.cpp @@ -114,7 +114,7 @@ static inline smx_simcall_t MC_state_get_request_for_process(simgrid::mc::State* if (act->src_actor_.get() && act->dst_actor_.get()) state->transition.argument = 0; else if (act->src_actor_.get() == nullptr && act->type_ == simgrid::kernel::activity::CommImpl::Type::READY && - act->detached == 1) + act->detached_) state->transition.argument = 0; else state->transition.argument = -1;