X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ea74f5d95928a521a588737e81f1de94eef25d19..244ffce80a9e2390e24b9788114de037e4ccc0ae:/src/mc/mc_base.hpp

diff --git a/src/mc/mc_base.hpp b/src/mc/mc_base.hpp
index 85039639d5..9b60b3d9b2 100644
--- a/src/mc/mc_base.hpp
+++ b/src/mc/mc_base.hpp
@@ -1,4 +1,4 @@
-/* Copyright (c) 2008-2022. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2008-2023. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -9,8 +9,7 @@
 #include "simgrid/forward.h"
 #include <vector>
 
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
 
 /** Execute everything which is invisible
  *
@@ -23,7 +22,7 @@ XBT_PRIVATE void execute_actors();
 XBT_PRIVATE extern std::vector<double> processes_time;
 
 /** Execute a given simcall */
-XBT_PRIVATE void handle_simcall(smx_simcall_t req, int req_num);
+XBT_PRIVATE void handle_simcall(kernel::actor::Simcall* req, int req_num);
 
 /** Is the process ready to execute its simcall?
  *
@@ -34,11 +33,10 @@ XBT_PRIVATE void handle_simcall(smx_simcall_t 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 s_smx_simcall* req);
-} // namespace mc
-} // namespace simgrid
+XBT_PRIVATE bool request_is_visible(const kernel::actor::Simcall* req);
+} // namespace simgrid::mc
 
 #endif