[mc] Fix name of mc_snapshot_memcmp()

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

diff --git a/src/mc/mc_page_store.cpp b/src/mc/mc_page_store.cpp
index f7287465b77156434156553bf7960a50ea8e5fa1..a2072b39c31ac9938d445b6e391ad1164ccbdc6b 100644 (file)
--- a/src/mc/mc_page_store.cpp
+++ b/src/mc/mc_page_store.cpp
@@ -165,6 +165,11 @@ mc_pages_store_t mc_pages_store_new()
   return new s_mc_pages_store_t(500);
 }
 
   return new s_mc_pages_store_t(500);
 }
 

+void mc_pages_store_delete(mc_pages_store_t store)
+{
+  delete store;
+}
+

 }
 
 #ifdef SIMGRID_TEST
 }
 
 #ifdef SIMGRID_TEST