try to hide something under the rug for now

diff --git a/src/mc/mc_pattern.hpp b/src/mc/mc_pattern.hpp
index 6a8f735..eb3bb1d 100644 (file)
--- a/src/mc/mc_pattern.hpp
+++ b/src/mc/mc_pattern.hpp
@@ -32,6 +32,7 @@ class ActorState {
   /** Exploration control information */
   InterleavingType state_ = InterleavingType::disabled;
 
+  XBT_ATTRIB_UNUSED aid_t aid_;
   /** Number of times that the actor was considered to be executed in previous explorations of the state space */
   unsigned int times_considered_ = 0;
   /** Maximal amount of times that the actor can be considered for execution in this state.