X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e29f4cd7a94c2de60f4a32bf60dcbfff559e963a..3077402227438e966045240807376dc6ee340bf0:/src/mc/mc_state.h

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 94c72013d6..1b8659fe21 100644
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -68,7 +68,6 @@ XBT_PRIVATE void replay(std::list<std::unique_ptr<simgrid::mc::State>> const& st
 }
 
 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);