[mc] Remove MC_state_delete()

[simgrid.git] / src / mc / mc_state.h

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 8fcbde4..1b8659f 100644 (file)
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -7,6 +7,7 @@
 #ifndef SIMGRID_MC_STATE_H
 #define SIMGRID_MC_STATE_H
 
+#include <list>
 #include <memory>
 
 #include <xbt/base.h>
@@ -61,11 +62,12 @@ struct XBT_PRIVATE State {
   ~State();
 };
 
+XBT_PRIVATE void replay(std::list<std::unique_ptr<simgrid::mc::State>> const& stack);
+
 }
 }
 
 XBT_PRIVATE simgrid::mc::State* MC_state_new(void);
-XBT_PRIVATE void MC_state_delete(simgrid::mc::State* state, int free_snapshot);
 XBT_PRIVATE void MC_state_interleave_process(simgrid::mc::State* state, smx_process_t process);
 XBT_PRIVATE unsigned int MC_state_interleave_size(simgrid::mc::State* state);
 XBT_PRIVATE int MC_state_process_is_done(simgrid::mc::State* state, smx_process_t process);