#include "mc/mc.h"
#include "mc_snapshot.h"
-#include "RegionSnapshot.hpp"
+
+#include <mc/ChunkedData.hpp>
+#include <mc/RegionSnapshot.hpp>
extern "C" {
ref_page_numbers = ref_region->page_data().pagenos();
}
- simgrid::mc::PerPageCopy page_data(
+ simgrid::mc::ChunkedData page_data(
mc_model_checker->page_store(), *process, permanent_addr, page_count,
ref_page_numbers,
use_soft_dirty ? pagemap.data() : nullptr);