[mc] Fetch simix_process_maxpid from MCed

[simgrid.git] / src / mc / mc_record.c

diff --git a/src/mc/mc_record.c b/src/mc/mc_record.c
index d578168..9d615b3 100644 (file)
--- a/src/mc/mc_record.c
+++ b/src/mc/mc_record.c
@@ -144,5 +144,5 @@ void MC_record_replay_from_string(const char* path_string)
 
 void MC_record_replay_init()
 {
-  mc_time = xbt_new0(double, simix_process_maxpid);
+  mc_time = xbt_new0(double, MC_smx_get_maxpid());
 }