Remove more uses of the session global

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

diff --git a/src/mc/api.hpp b/src/mc/api.hpp
index 3e4f3e66c7501a8d9f17028c79154dcff5b43208..36730ee2194d9a27882c84d0584920654095c86f 100644 (file)
--- a/src/mc/api.hpp
+++ b/src/mc/api.hpp
@@ -69,7 +69,6 @@ public:
 
   // ACTOR APIs
   std::vector<simgrid::mc::ActorInformation>& get_actors() const;
-  bool actor_is_enabled(aid_t pid) const;
   unsigned long get_maxpid() const;
   int get_actors_size() const;