From ac76cbcb5112189e2b00370b708ecfa9b08c7191 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Thu, 15 Oct 2015 15:35:18 +0200
Subject: [PATCH] [mc] Use std::unordered* instead of boost:: ones

---
 src/mc/PageStore.hpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/mc/PageStore.hpp b/src/mc/PageStore.hpp
index c3dd009fe2..4e2e53e50b 100644
--- a/src/mc/PageStore.hpp
+++ b/src/mc/PageStore.hpp
@@ -10,8 +10,8 @@
 #include <cstdint>
 #include <vector>
 
-#include <boost/unordered_map.hpp>
-#include <boost/unordered_set.hpp>
+#include <unordered_map>
+#include <unordered_set>
 
 #include <xbt/base.h>
 
@@ -80,8 +80,8 @@ private: // Types
   // We are using a cheap hash to index a page.
   // We should expect collision and we need to associate multiple page indices
   // to the same hash.
-  typedef boost::unordered_set<std::size_t> page_set_type;
-  typedef boost::unordered_map<hash_type, page_set_type> pages_map_type;
+  typedef std::unordered_set<std::size_t> page_set_type;
+  typedef std::unordered_map<hash_type, page_set_type> pages_map_type;
 
 private: // Fields:
   /** First page */
@@ -131,7 +131,7 @@ public: // Methods
    * changed since the previous cnapshot/restoration and we can avoid
    * hashing the page, comparing byte-per-byte to candidates.
    * */
-  void ref_page(size_t pageno);
+  void ref_page(std::size_t pageno);
 
   /** @brief Store a page in the page store */
   size_t store_page(void* page);
-- 
2.20.1