From: Ehsan Azimi <eazimi@ehsan.irisa.fr>
Date: Fri, 11 Dec 2020 11:03:53 +0000 (+0100)
Subject: mcapi::execute() in replay()
X-Git-Tag: v3.26~13^2~12
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7bfda85f856a9478629bd558c04cf43493398369

mcapi::execute() in replay()
---

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 3484b8df4a..d09e87d1b8 100644
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -145,7 +145,7 @@ void LivenessChecker::replay()
       XBT_DEBUG("Replay (depth = %d) : %s (%p)", depth,
                 mcapi::get().request_to_string(req, req_num, simgrid::mc::RequestType::simix).c_str(), state.get());
 
-      this->get_session().execute(state->transition_);
+      mcapi::get().execute(state->transition_);
     }
 
     /* Update statistics */