MC: rename remote/RemoteClient -> remote/RemoteClientMemory and remove networking...

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

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 6a439c07228f7fc1f16528a3299decbd8e3bf5ff..0afe20682eaec5183a5a9aab54b60d55c1eb2f24 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -26,7 +26,7 @@ VisitedPair::VisitedPair(int pair_num, xbt_automaton_state_t automaton_state,
                          std::shared_ptr<State> graph_state)
     : num(pair_num), automaton_state(automaton_state)
 {
-  RemoteClient* process = &(mc_model_checker->process());
+  RemoteClientMemory* process = &(mc_model_checker->process());
 
   this->graph_state = std::move(graph_state);
   if (this->graph_state->system_state_ == nullptr)