mcapi::simcall_get_issuer() in replay()

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 1cdf83a..6535c86 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -138,7 +138,7 @@ void LivenessChecker::replay()
 
       /* because we got a copy of the executed request, we have to fetch the
          real one, pointed by the request field of the issuer process */
-      const smx_actor_t issuer = MC_smx_simcall_get_issuer(saved_req);
+      const smx_actor_t issuer = mcapi::get().simcall_get_issuer(saved_req);
       req                      = &issuer->simcall_;
 
       /* Debug information */