From 3077402227438e966045240807376dc6ee340bf0 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 5 Apr 2016 11:38:03 +0200
Subject: [PATCH] [mc] Remove MC_state_delete()

---
 src/mc/mc_state.cpp | 9 ---------
 src/mc/mc_state.h   | 1 -
 2 files changed, 10 deletions(-)

diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp
index 35fc6781d5..3ed4e6ceb1 100644
--- a/src/mc/mc_state.cpp
+++ b/src/mc/mc_state.cpp
@@ -66,15 +66,6 @@ State::~State()
 }
 }
 
-/**
- * \brief Deletes a state data structure
- * \param trans The state to be deleted
- */
-void MC_state_delete(simgrid::mc::State* state, int free_snapshot)
-{
-  delete state;
-}
-
 void MC_state_interleave_process(simgrid::mc::State* state, smx_process_t process)
 {
   assert(state);
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);
-- 
2.20.1