MC: be explicit when reaching an execution end (it's important when reading user...

[simgrid.git] / src / mc / mc_base.hpp

diff --git a/src/mc/mc_base.hpp b/src/mc/mc_base.hpp
index 69fc226e53d4a765089c47485ffbc9f1b608ea70..84bf8be7d84b0c9eb0b7374936492edb151474e5 100644 (file)
--- a/src/mc/mc_base.hpp
+++ b/src/mc/mc_base.hpp
@@ -34,7 +34,7 @@ XBT_PRIVATE void handle_simcall(kernel::actor::Simcall* req, int req_num);
  *  have both a source and a destination yet is not enabled
  *  (unless timeout is enabled in the wait and enabled in SimGridMC).
  */
-XBT_PRIVATE bool actor_is_enabled(smx_actor_t process);
+XBT_PRIVATE bool actor_is_enabled(kernel::actor::ActorImpl* process);
 
 /** Check if the given simcall is visible */
 XBT_PRIVATE bool request_is_visible(const kernel::actor::Simcall* req);