From c0b8222b84f1084085608ef4d3da724f7f3710e8 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 23 Mar 2016 14:20:08 +0100
Subject: [PATCH] [mc] Remove MC_exit()

---
 src/include/mc/mc.h  | 1 -
 src/mc/mc_global.cpp | 7 -------
 2 files changed, 8 deletions(-)

diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h
index 68e2d4f0e7..0a4a33a33d 100644
--- a/src/include/mc/mc.h
+++ b/src/include/mc/mc.h
@@ -66,7 +66,6 @@ XBT_PRIVATE void _mc_cfg_cb_send_determinism(const char *name, int pos);
 XBT_PRIVATE void _mc_cfg_cb_termination(const char *name, int pos);
 
 XBT_PUBLIC(void) MC_run(void);
-XBT_PUBLIC(void) MC_exit(void);
 XBT_PUBLIC(void) MC_process_clock_add(smx_process_t, double);
 XBT_PUBLIC(double) MC_process_clock_get(smx_process_t);
 XBT_PRIVATE void MC_automaton_load(const char *file);
diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 41e7877ac9..9f231b9675 100644
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -107,13 +107,6 @@ void MC_run()
   simgrid::mc::Client::get()->mainLoop();
 }
 
-void MC_exit(void)
-{
-  simgrid::mc::processes_time.clear();
-  MC_memory_exit();
-  //xbt_abort();
-}
-
 /**
  * \brief Re-executes from the state at position start all the transitions indicated by
  *        a given model-checker stack.
-- 
2.20.1