Use new/delete.

[simgrid.git] / src / mc / mc_memory.cpp

diff --git a/src/mc/mc_memory.cpp b/src/mc/mc_memory.cpp
index 28ff84b..2864b9d 100644 (file)
--- 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()
-{
-}
-
 }