[mc] Use std::unique_ptr for States

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

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 68acc45..94c7201 100644 (file)
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -62,7 +62,7 @@ struct XBT_PRIVATE State {
   ~State();
 };
 
-XBT_PRIVATE void replay(std::list<simgrid::mc::State*> const& stack);
+XBT_PRIVATE void replay(std::list<std::unique_ptr<simgrid::mc::State>> const& stack);
 
 }
 }