X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5e7ea743f4e41c8fb6e0c1cce87df1ff8804a82a..9692d43fa911bdc2d6d0263a3cb3e22d5e3167fe:/src/mc/PageStore.cpp diff --git a/src/mc/PageStore.cpp b/src/mc/PageStore.cpp index 3289157eb9..f8bb9bff65 100644 --- a/src/mc/PageStore.cpp +++ b/src/mc/PageStore.cpp @@ -5,25 +5,25 @@ * under the terms of the license (GNU LGPL) which comes with this package. */ #include -#include // memcpy, memcp +#include // memcpy, memcmp #include -#include +#include +#include +#include #include "src/mc/PageStore.hpp" #include "src/mc/mc_mmu.h" -extern "C" { - XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_page_snapshot, mc, "Logging specific to mc_page_snapshot"); namespace simgrid { namespace mc { -/** @brief Compte a hash for the given memory page +/** @brief Compute a hash for the given memory page * * The page is used before inserting the page in the page store * in order to find duplicate of this page in the page store. @@ -230,5 +230,3 @@ XBT_TEST_UNIT("base", test_mc_page_store, "Test adding/removing pages in the sto } #endif /* SIMGRID_TEST */ - -}