Remove more uses of the session global

[simgrid.git] / src / mc / api.cpp

diff --git a/src/mc/api.cpp b/src/mc/api.cpp
index b6cee6c9ba35bb02b2e0790fb2bad72158e8483c..833c7dfaf07df768f49dbe60036192d1e7c9da24 100644 (file)
--- a/src/mc/api.cpp
+++ b/src/mc/api.cpp
@@ -455,11 +455,6 @@ std::vector<simgrid::mc::ActorInformation>& Api::get_actors() const
   return mc_model_checker->get_remote_process().actors();
 }
 
-bool Api::actor_is_enabled(aid_t pid) const
-{
-  return session->actor_is_enabled(pid);
-}
-
 unsigned long Api::get_maxpid() const
 {
   static const char* name = nullptr;