no need for a lib to store the netcards. A dict is easier

[simgrid.git] / src / mc / LivenessChecker.cpp

diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp
index 4f60bc1..19e6347 100644 (file)
--- a/src/mc/LivenessChecker.cpp
+++ b/src/mc/LivenessChecker.cpp
@@ -208,7 +208,7 @@ void LivenessChecker::replay()
       if (saved_req != nullptr) {
         /* 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_process_t issuer = MC_smx_simcall_get_issuer(saved_req);
+        const smx_actor_t issuer = MC_smx_simcall_get_issuer(saved_req);
         req = &issuer->simcall;
 
         /* Debug information */
@@ -454,7 +454,7 @@ std::shared_ptr<Pair> LivenessChecker::newPair(Pair* current_pair, xbt_automaton
     next_pair->search_cycle = true;
   else
     next_pair->search_cycle = false;
-  return std::move(next_pair);
+  return next_pair;
 }
 
 void LivenessChecker::backtrack()