Abide by both compiler warnings

[simgrid.git] / src / mc / explo / DFSExplorer.hpp

diff --git a/src/mc/explo/DFSExplorer.hpp b/src/mc/explo/DFSExplorer.hpp
index 728981c..9301ed2 100644 (file)
--- 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