From: mlaurent <mathieu.laurent@ens-rennes.fr>
Date: Fri, 17 Feb 2023 08:06:04 +0000 (+0100)
Subject: match previous merge updates
X-Git-Tag: v3.34~436^2~7
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0d638e1070f68f783639288b8f0799679fad87cf

match previous merge updates
---

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index 2e4fa074c3..36535b1f38 100644
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -26,11 +26,14 @@ State::State(const RemoteApp& remote_app) : default_transition(std::make_unique<
   }
 }
 
-State::State(const RemoteApp& remote_app, const State* previous_state) : num_(++expended_states_)
+State::State(const RemoteApp& remote_app, const State* previous_state)
+    : default_transition(std::make_unique<Transition>()), num_(++expended_states_)
 {
 
   remote_app.get_actors_status(actors_to_run_);
 
+  transition_ = default_transition.get();
+
   /* Stateful model checking */
   if ((_sg_mc_checkpoint > 0 && (num_ % _sg_mc_checkpoint == 0)) || _sg_mc_termination) {
     system_state_ = std::make_shared<simgrid::mc::Snapshot>(num_);