Replace void* used for RemoteProcess pointers.

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

diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp
index 337c820..ce5800f 100644 (file)
--- a/src/mc/mc_smx.cpp
+++ b/src/mc/mc_smx.cpp
@@ -66,12 +66,8 @@ void RemoteProcess::refresh_simix()
   if (this->cache_flags_ & RemoteProcess::cache_simix_processes)
     return;
 
-  RemotePtr<s_xbt_dynar_t> actor_vector;
-  RemotePtr<s_xbt_dynar_t> dead_actor_vector;
-  get_actor_vectors(actor_vector, dead_actor_vector);
-
-  MC_process_refresh_simix_actor_dynar(this, this->smx_actors_infos, actor_vector);
-  MC_process_refresh_simix_actor_dynar(this, this->smx_dead_actors_infos, dead_actor_vector);
+  MC_process_refresh_simix_actor_dynar(this, this->smx_actors_infos, actors_addr_);
+  MC_process_refresh_simix_actor_dynar(this, this->smx_dead_actors_infos, dead_actors_addr_);
 
   this->cache_flags_ |= RemoteProcess::cache_simix_processes;
 }