[mc] Remove Snapshot::is_important_snapshot()

[simgrid.git] / src / mc / Process.hpp

diff --git a/src/mc/Process.hpp b/src/mc/Process.hpp
index 5a9e306..150f7d1 100644 (file)
--- a/src/mc/Process.hpp
+++ b/src/mc/Process.hpp
@@ -216,6 +216,8 @@ public:
   std::vector<simgrid::mc::SimixProcessInformation>& simix_processes();
   std::vector<simgrid::mc::SimixProcessInformation>& old_simix_processes();
 
+  void dumpStack();
+
 private:
   void init_memory_map_info();
   void refresh_heap();