X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/646748e03f0997e891f569963d0113e16bb63890..8c786628d9ab51c47dad680f369ce3881e628172:/src/mc/PageStore.cpp diff --git a/src/mc/PageStore.cpp b/src/mc/PageStore.cpp index 5be3176ac4..88ea8066be 100644 --- a/src/mc/PageStore.cpp +++ b/src/mc/PageStore.cpp @@ -9,8 +9,6 @@ #include -#include - #include #include "PageStore.hpp" @@ -137,7 +135,7 @@ std::size_t PageStore::store_page(void* page) // Try to find a duplicate in set of pages with the same hash: page_set_type& page_set = this->hash_index_[hash]; - BOOST_FOREACH (size_t pageno, page_set) { + for (size_t pageno : page_set) { const void* snapshot_page = this->get_page(pageno); if (memcmp(page, snapshot_page, xbt_pagesize) == 0) {