[mc] Always inline mc_page_store_get_page (C version of page_store->get_page())

[simgrid.git] / src / mc / mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 9027f75..92aa3ac 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -146,7 +146,6 @@ void mc_softdirty_reset();
 
 typedef struct s_mc_pages_store s_mc_pages_store_t, * mc_pages_store_t;
 mc_pages_store_t mc_pages_store_new();
-const void* mc_page_store_get_page(mc_pages_store_t page_store, size_t pageno);
 
 static inline __attribute__((always_inline))
 bool mc_snapshot_region_linear(mc_mem_region_t region) {