X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/79f5715c0a10bc16b68dc7d686d716c647dbf6ed..d8fba529aba8e352c57974ff6b111808d087d3a0:/src/mc/api/State.hpp

diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp
index 36e7138498..f67d703514 100644
--- a/src/mc/api/State.hpp
+++ b/src/mc/api/State.hpp
@@ -54,6 +54,8 @@ class XBT_PRIVATE State : public xbt::Extendable<State> {
   std::map<aid_t, Transition> sleep_set_;
 
 public:
+  bool is_opened = false;
+
   explicit State(RemoteApp& remote_app);
   explicit State(RemoteApp& remote_app, std::shared_ptr<State> parent_state);
   /* Returns a positive number if there is another transition to pick, or -1 if not */