Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid

[simgrid.git] / src / simix / smx_global.cpp

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index f783f8b..d84905a 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -381,7 +381,7 @@ static int process_syscall_color(void *p)
 void SIMIX_run(void)
 {
   if (MC_record_path) {
-    MC_record_replay_from_string(MC_record_path);
+    simgrid::mc::replay(MC_record_path);
     return;
   }