X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6e0c79dea1a322c6dbc569725865b7b6b05b2099..bc2253e2c879ee28ae5153f1d56497ab802aeea9:/src/mc/api/State.hpp

diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp
index de11f78e88..3988504ec2 100644
--- a/src/mc/api/State.hpp
+++ b/src/mc/api/State.hpp
@@ -143,6 +143,7 @@ public:
    * `N` running actor `p` of this state's wakeup tree
    */
   void remove_subtree_using_current_out_transition();
+  void remove_subtree_at_aid(aid_t proc);
   bool has_empty_tree() const { return this->wakeup_tree_.empty(); }
   std::string string_of_wut() const { return this->wakeup_tree_.string_of_whole_tree(); }