[mc] Make SimixProcessInformation a real C++ object

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

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index 5b61d7b..82da31f 100644 (file)
--- a/src/mc/mc_base.cpp
+++ b/src/mc/mc_base.cpp
@@ -230,7 +230,7 @@ void MC_simcall_handle(smx_simcall_t req, int value)
   unsigned i;
   mc_smx_process_info_t pi = nullptr;
 
-  xbt_dynar_foreach_ptr(mc_model_checker->process().smx_process_infos, i, pi) {
+  MC_PROCESS_FOREACH(mc_model_checker->process().smx_process_infos, i, pi) {
     if (req == &pi->copy.simcall) {
       mc_model_checker->simcall_handle(
         mc_model_checker->process(), pi->copy.pid, value);