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

diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp
index ca77b513a7..de11f78e88 100644
--- a/src/mc/api/State.hpp
+++ b/src/mc/api/State.hpp
@@ -144,7 +144,9 @@ public:
    */
   void remove_subtree_using_current_out_transition();
   bool has_empty_tree() const { return this->wakeup_tree_.empty(); }
+  std::string string_of_wut() const { return this->wakeup_tree_.string_of_whole_tree(); }
 
+  
   /**
    * @brief
    */