X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5c5b48df7534ee73f162a93fc789d37c60fcb284..8d51fbcc2374aec305440e6456aee54c0a2df5d3:/src/mc/mc_snapshot.cpp diff --git a/src/mc/mc_snapshot.cpp b/src/mc/mc_snapshot.cpp index 09e9e17bef..27acf54a3a 100644 --- a/src/mc/mc_snapshot.cpp +++ b/src/mc/mc_snapshot.cpp @@ -20,8 +20,6 @@ #include "src/mc/mc_private.hpp" #include "src/mc/mc_snapshot.hpp" -extern "C" { - /** @brief Find the snapshoted region from a pointer * * @param addr Pointer @@ -141,8 +139,6 @@ int MC_snapshot_region_memcmp( return res; } -} // extern "C" - namespace simgrid { namespace mc { @@ -186,6 +182,7 @@ const void* Snapshot::read_bytes(void* buffer, std::size_t size, #include +#include "src/mc/mc_config.hpp" #include "src/mc/mc_mmu.hpp" #include "src/mc/mc_private.hpp" #include "src/mc/mc_snapshot.hpp"