X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a75c48b9362dfc8b1cfcc329885943d85e42464e..8b0d5ae29ebd13e69a23991b8adfb67c5c5d79d3:/src/mc/sosp/mc_snapshot.cpp?ds=inline diff --git a/src/mc/sosp/mc_snapshot.cpp b/src/mc/sosp/mc_snapshot.cpp index e8d20cfdea..876f4cbb39 100644 --- a/src/mc/sosp/mc_snapshot.cpp +++ b/src/mc/sosp/mc_snapshot.cpp @@ -3,24 +3,11 @@ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#include +#include /* std::size_t */ -#include -#include - -#include "xbt/asserts.h" -#include "xbt/sysdep.h" - -#include "src/internal_config.h" -#include "src/smpi/include/private.hpp" - -#include "src/mc/mc_mmu.hpp" -#include "src/mc/mc_private.hpp" #include "src/mc/mc_smx.hpp" -#include "src/mc/sosp/PageStore.hpp" #include "src/mc/sosp/mc_snapshot.hpp" - /** @brief Read memory from a snapshot region broken across fragmented pages * * @param addr Process (non-snapshot) address of the data