Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
remove useless field
[simgrid.git] / src / mc / mc_pattern.hpp
index acb4d7c..6a8f735 100644 (file)
@@ -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.