X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c4010c537a44b1fb18079401a3635821c86e6fcf..2ace2e9a66953011268a2b64824638305807612e:/src/simix/popping_private.hpp diff --git a/src/simix/popping_private.hpp b/src/simix/popping_private.hpp index 00d77e2dc2..338a29b617 100644 --- a/src/simix/popping_private.hpp +++ b/src/simix/popping_private.hpp @@ -46,7 +46,7 @@ struct s_smx_simcall { e_smx_simcall_t call_; smx_actor_t issuer_; smx_timer_t timeout_cb_; // Callback to timeouts - simgrid::kernel::actor::Transition* transition_ = nullptr; + simgrid::mc::SimcallInspector* inspector_ = nullptr; // makes that simcall observable by the MC int mc_value_; u_smx_scalar args_[11]; u_smx_scalar result_;