[mc] Enable MC specific behaviour in replay mode

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

diff --git a/src/mc/mc_record.c b/src/mc/mc_record.c
index 47dd8e3..b898e56 100644 (file)
--- a/src/mc/mc_record.c
+++ b/src/mc/mc_record.c
@@ -137,3 +137,8 @@ void MC_record_replay_from_string(const char* path_string)
   MC_record_replay(start, xbt_dynar_length(path));
   xbt_dynar_free(&path);
 }
+
+void MC_record_replay_init()
+{
+  mc_time = xbt_new0(double, simix_process_maxpid);
+}