[mc] Restrict the scope of local variables in LivenessChecker

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

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 0b705ad195f97ce006c99240a3f0017b7231e37b..d84905a738f4410994cc651a3f05494ffc82609e 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -380,9 +380,8 @@ static int process_syscall_color(void *p)
  */
 void SIMIX_run(void)
 {
  */
 void SIMIX_run(void)
 {

-  if(MC_record_path) {
-    MC_record_replay_init();
-    MC_record_replay_from_string(MC_record_path);
+  if (MC_record_path) {
+    simgrid::mc::replay(MC_record_path);

     return;
   }
 
     return;
   }