X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e47b3e4c9b5ea0bd18d8c088320844200e4ff07e..923896223efc203372ce0a7435cbdb7b539149f6:/src/mc/mc_record.c

diff --git a/src/mc/mc_record.c b/src/mc/mc_record.c
index d57816899c..9d615b33c0 100644
--- 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());
 }