X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/039f83ac2878e7ff0839a216474c8e493c98c068..788fd4a0324f3ef5aa40f37eb6e4c8c5accd1164:/src/mc/explo/DFSExplorer.hpp

diff --git a/src/mc/explo/DFSExplorer.hpp b/src/mc/explo/DFSExplorer.hpp
index 728981c03d..9301ed2e17 100644
--- a/src/mc/explo/DFSExplorer.hpp
+++ b/src/mc/explo/DFSExplorer.hpp
@@ -97,6 +97,8 @@ private:
    *  When backtracking, we pick a state from it*/
   std::list<stack_t> opened_states_;
   void add_to_opened_states(stack_t stack);
+
+  RecordTrace get_record_trace_of_stack(stack_t stack);
 };
 
 } // namespace simgrid::mc