From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Sat, 30 Jul 2022 18:19:15 +0000 (+0200)
Subject: remove useless field
X-Git-Tag: v3.32~118
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0b0dbda8d509d4c0e2d583d20f014163f0fb7230

remove useless field
---

diff --git a/src/mc/mc_pattern.hpp b/src/mc/mc_pattern.hpp
index acb4d7c0ea..6a8f735161 100644
--- a/src/mc/mc_pattern.hpp
+++ b/src/mc/mc_pattern.hpp
@@ -32,7 +32,6 @@ class ActorState {
   /** Exploration control information */
   InterleavingType state_ = InterleavingType::disabled;
 
-  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.