X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/310489f23b42118424a3c374f9b6097e07f48d11..7cbb44e02a4c28ea278e9b82c9dda3bdff2c3cb9:/src/simix/smx_global.cpp?ds=sidebyside diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp index 007bb0aebb..9510c955fd 100644 --- a/src/simix/smx_global.cpp +++ b/src/simix/smx_global.cpp @@ -376,7 +376,7 @@ static bool SIMIX_execute_timers() */ void SIMIX_run() { - if (not MC_record_path.empty()) { + if (MC_record_replay_is_active()) { simgrid::mc::replay(MC_record_path); return; }