X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/14fcd43761ba2212ae5e48832a71ecf6c8f2b9f3..f9b13d923d31bb0336aeeaab6d5b7ba33812f3f7:/src/kernel/EngineImpl.cpp diff --git a/src/kernel/EngineImpl.cpp b/src/kernel/EngineImpl.cpp index 16b2c4814d..de60c791c4 100644 --- a/src/kernel/EngineImpl.cpp +++ b/src/kernel/EngineImpl.cpp @@ -542,7 +542,7 @@ void EngineImpl::display_all_actor_status() const /* List the actors and their state */ XBT_INFO("Legend of the following listing: \"Actor (@): \""); for (auto const& kv : actor_list_) { - actor::ActorImpl* actor = kv.second; + const actor::ActorImpl* actor = kv.second; if (actor->waiting_synchro_) { const char* synchro_description = "unknown"; @@ -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; }