Move Transition::execute() to State::execute_next()

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

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index df92c7f..6194f29 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -338,7 +338,7 @@ void LivenessChecker::run()
 
     int next = current_pair->graph_state->next_transition();
 
-    current_pair->graph_state->get_transition()->execute(current_pair->graph_state.get(), next);
+    current_pair->graph_state->execute_next(next);
 
     aid_t aid   = current_pair->graph_state->get_transition()->aid_;
     int req_num = current_pair->graph_state->get_transition()->times_considered_;