cosmetic to make the code easier to read

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

diff --git a/src/simix/smx_global.cpp b/src/simix/smx_global.cpp
index 007bb0a..9510c95 100644 (file)
--- a/src/simix/smx_global.cpp
+++ b/src/simix/smx_global.cpp
@@ -376,7 +376,7 @@ static bool SIMIX_execute_timers()
  */
 void SIMIX_run()
 {
  */
 void SIMIX_run()
 {

-  if (not MC_record_path.empty()) {
+  if (MC_record_replay_is_active()) {

     simgrid::mc::replay(MC_record_path);
     return;
   }
     simgrid::mc::replay(MC_record_path);
     return;
   }