From ff653c762c0cedfa56f7febfe84b50325ec64585 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 24 Jun 2014 09:23:20 +0200
Subject: [PATCH] [mc] Remove declaration of mc_read_pagemap() in
 mc_page_store.cpp

It is now in mc_page_snapshot.cpp.
---
 src/mc/mc_page_store.cpp | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/mc/mc_page_store.cpp b/src/mc/mc_page_store.cpp
index 9d98c5e232..787815d0c4 100644
--- a/src/mc/mc_page_store.cpp
+++ b/src/mc/mc_page_store.cpp
@@ -18,12 +18,6 @@
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_page_snapshot, mc,
                                 "Logging specific to mc_page_snapshot");
 
-extern "C" {
-
-static void mc_read_pagemap(uint64_t* pagemap, size_t page_start, size_t page_count);
-
-}
-
 // ***** Utility:
 
 /** @brief Compte a hash for the given memory page
-- 
2.20.1