mc_api::get_automaton_state() defined. It is called in LivenessChecker::run()

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

diff --git a/src/mc/VisitedState.cpp b/src/mc/VisitedState.cpp
index fa49142bf6abc8e20ad8fd6dd89af53cef4e721f..adf130e774a3e0e7c4c7c776980b7cd9573ee2ee 100644 (file)
--- a/src/mc/VisitedState.cpp
+++ b/src/mc/VisitedState.cpp
@@ -23,7 +23,7 @@ namespace mc {
 VisitedState::VisitedState(unsigned long state_number) : num(state_number)
 {  
   this->heap_bytes_used = mcapi::get().get_remote_heap_bytes();
-  this->actors_count = mcapi::get().mc_get_remote_simulation().actors().size();
+  this->actors_count = mcapi::get().get_actors_size();
   this->system_state = std::make_shared<simgrid::mc::Snapshot>(state_number);
 }