CommWaitTransition mailbox is now valid

[simgrid.git] / src / kernel / EngineImpl.cpp

diff --git a/src/kernel/EngineImpl.cpp b/src/kernel/EngineImpl.cpp
index 4e872cf11493b66c6ffa1b840194a480584156a8..de60c791c458bd0c5638563b4a4d96f3b7bec16d 100644 (file)
--- a/src/kernel/EngineImpl.cpp
+++ b/src/kernel/EngineImpl.cpp
@@ -701,7 +701,7 @@ void EngineImpl::run(double max_date)
   seal_platform();
 
   if (MC_record_replay_is_active()) {
-    mc::replay(MC_record_path());
+    mc::RecordTrace::replay(MC_record_path());
     empty_trash();
     return;
   }