X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d2dde43678c66f9593c2a2151f0f6e7c85d3b079..983ff2d3ba0217acac8e5c963f6669be3b4f9e02:/src/mc/api/State.cpp

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index 1e693ed79e..1f8786d1a5 100644
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -235,13 +235,13 @@ void State::sprout_tree_from_parent_state()
                                            "parent with an empty wakeup tree. This indicates either that ODPOR "
                                            "actor selection in State.cpp is incorrect, or that the code "
                                            "deciding when to make subtrees in ODPOR is incorrect");
-  xbt_assert((parent_state_->get_transition_out()->aid_ == min_process_node.value()->get_actor()) &&
-                 (parent_state_->get_transition_out()->type_ == min_process_node.value()->get_action()->type_),
+  xbt_assert((get_transition_in()->aid_ == min_process_node.value()->get_actor()) &&
+                 (get_transition_in()->type_ == min_process_node.value()->get_action()->type_),
              "We tried to make a subtree from a parent state who claimed to have executed `%s` "
              "but whose wakeup tree indicates it should have executed `%s`. This indicates "
              "that exploration is not following ODPOR. Are you sure you're choosing actors "
              "to schedule from the wakeup tree?",
-             parent_state_->get_transition_out()->to_string(false).c_str(),
+             get_transition_in()->to_string(false).c_str(),
              min_process_node.value()->get_action()->to_string(false).c_str());
   this->wakeup_tree_ = odpor::WakeupTree::make_subtree_rooted_at(min_process_node.value());
 }