From: Augustin Degomme Date: Sat, 30 Jul 2022 18:39:13 +0000 (+0200) Subject: try to hide something under the rug for now X-Git-Tag: v3.32~117 X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a9519cf7139aac806679821cfb47749197656686 try to hide something under the rug for now --- diff --git a/src/mc/mc_pattern.hpp b/src/mc/mc_pattern.hpp index 6a8f735161..eb3bb1d792 100644 --- 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.