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

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index b5929f3751..6190f25414 100644
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -270,6 +270,11 @@ void State::remove_subtree_using_current_out_transition()
   wakeup_tree_.remove_min_single_process_subtree();
 }
 
+    void State::remove_subtree_at_aid(const aid_t proc) {
+	wakeup_tree_.remove_subtree_at_aid(proc);
+	
+    }
+    
 odpor::WakeupTree::InsertionResult State::insert_into_wakeup_tree(const odpor::PartialExecution& pe,
                                                                   const odpor::Execution& E)
 {