From 0b0dbda8d509d4c0e2d583d20f014163f0fb7230 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Sat, 30 Jul 2022 20:19:15 +0200
Subject: [PATCH] remove useless field

---
 src/mc/mc_pattern.hpp | 1 -
 1 file changed, 1 deletion(-)

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.
-- 
2.20.1