Merge branch 'add_missing_comm_python_bindings' into 'master'

[simgrid.git] / src / mc / mc_smx.cpp

diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp
index ca37c21e4d7e5d071573b0cbe136958b90562e71..dd88147d6b535219070392628b697ffb03196ef0 100644 (file)
--- a/src/mc/mc_smx.cpp
+++ b/src/mc/mc_smx.cpp
@@ -18,9 +18,6 @@ using simgrid::mc::remote;
  *   - `model_checker->process.smx_process_infos`
  *      (copy of `EngineImpl::actor_list_`);
  *
- *   - `model_checker->process.smx_old_process_infos`
- *      (copy of `EngineImpl::actors_to_destroy_`);
- *
  *   - `model_checker->hostnames`.
  *
  * The process lists are currently refreshed each time MCed code is executed.
@@ -32,7 +29,7 @@ using simgrid::mc::remote;
 /** Load the remote list of processes into a vector
  *
  *  @param process      MCed process
- *  @param target       Local vector (to be filled with copies of `s_smx_actor_t`)
+ *  @param target       Local vector (to be filled with `simgrid::mc::ActorInformation`)
  *  @param remote_dynar Address of the process dynar in the remote list
  */
 static void MC_process_refresh_simix_actor_dynar(const simgrid::mc::RemoteProcess* process,
@@ -44,7 +41,7 @@ static void MC_process_refresh_simix_actor_dynar(const simgrid::mc::RemoteProces
   s_xbt_dynar_t dynar;
   process->read_bytes(&dynar, sizeof(dynar), remote_dynar);
 
-  auto* data = static_cast<smx_actor_t*>(::operator new(dynar.elmsize * dynar.used));
+  auto* data = static_cast<simgrid::kernel::actor::ActorImpl**>(::operator new(dynar.elmsize * dynar.used));
   process->read_bytes(data, dynar.elmsize * dynar.used, simgrid::mc::RemotePtr<void>(dynar.data));
 
   // Load each element of the vector from the MCed process: