From a9519cf7139aac806679821cfb47749197656686 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sat, 30 Jul 2022 20:39:13 +0200 Subject: [PATCH] try to hide something under the rug for now --- src/mc/mc_pattern.hpp | 1 + 1 file changed, 1 insertion(+) 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. -- 2.20.1