-#if SIMGRID_HAVE_MC
- /* MCer cannot read members actor_list_ and actors_to_destroy_ above in the remote process, so we copy the info it
- * needs in a dynar.
- * FIXME: This is supposed to be a temporary hack.
- * A better solution would be to change the split between MCer and MCed, where the responsibility
- * to compute the list of the enabled transitions goes to the MCed.
- * That way, the MCer would not need to have the list of actors on its side.
- * These info could be published by the MCed to the MCer in a way inspired of vd.so
- */
- xbt_dynar_t actors_vector_ = xbt_dynar_new(sizeof(actor::ActorImpl*), nullptr);
- xbt_dynar_t dead_actors_vector_ = xbt_dynar_new(sizeof(actor::ActorImpl*), nullptr);
-#endif
-
- std::vector<xbt::Task<void()>> tasks;