X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/0cd6855b20883afd408fda5c72582ffeca4e055f..c0b8222b84f1084085608ef4d3da724f7f3710e8:/src/mc/mc_global.cpp

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.