fix MC builds this time

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index aaae1d4..ebe9ffc 100644 (file)
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -94,7 +94,7 @@ void MC_init_dot_output()
 
 void MC_run()
 {
 
 void MC_run()
 {

-  simgrid::mc::processes_time.resize(simix_process_maxpid);
+  simgrid::mc::processes_time.resize(SIMIX_process_get_maxpid());

   MC_ignore_heap(simgrid::mc::processes_time.data(),
     simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
   smx_process_t process;
   MC_ignore_heap(simgrid::mc::processes_time.data(),
     simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
   smx_process_t process;