#include <memory>
#include <vector>
-#include <xbt/base.h>
+#include "xbt/base.h"
#include "src/mc/AddressSpace.hpp"
#include "src/mc/ChunkedData.hpp"
page_numbers_.clear();
privatized_regions_.clear();
}
-
+
void flat_data(Buffer data)
{
storage_type_ = StorageType::Flat;