X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d656f9465e7b1c36319f86eeafdcec58fe9551a4..0e7d247670cc012d8e784d0c8bcbb70a1c0bb9c6:/src/mc/mc_memory.cpp

diff --git a/src/mc/mc_memory.cpp b/src/mc/mc_memory.cpp
index 28ff84b860..2864b9d35d 100644
--- a/src/mc/mc_memory.cpp
+++ b/src/mc/mc_memory.cpp
@@ -26,9 +26,4 @@ void MC_memory_init()
     xbt_die("Model-checking support is not enabled: run with simgrid-mc.");
 }
 
-/* Finalize the memory subsystem */
-void MC_memory_exit()
-{
-}
-
 }