X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/157b17ef4d7aa7d34625418c27861f3f139010bd..41887885e1953cb056594145190e30088f9b6d03:/src/mc/mc_state.hpp

diff --git a/src/mc/mc_state.hpp b/src/mc/mc_state.hpp
index ae21f24078..dbabb8a1ca 100644
--- a/src/mc/mc_state.hpp
+++ b/src/mc/mc_state.hpp
@@ -15,6 +15,8 @@ namespace mc {
 
 /* A node in the exploration graph (kind-of) */
 class XBT_PRIVATE State {
+  Transition transition_;
+
 public:
   /** Sequential state number (used for debugging) */
   int num_ = 0;
@@ -22,8 +24,6 @@ public:
   /** State's exploration status by process */
   std::vector<ActorState> actor_states_;
 
-  Transition transition_;
-
   /** The simcall which was executed, going out of that state */
   s_smx_simcall executed_req_;
 
@@ -44,7 +44,7 @@ public:
 
   std::size_t count_todo() const;
   void mark_todo(aid_t actor) { this->actor_states_[actor].mark_todo(); }
-  Transition get_transition() const;
+  Transition* get_transition() const;
 
 private:
   void copy_incomplete_comm_pattern();