#include "src/mc/PageStore.hpp"
-#include "src/mc/mc_mmu.h"
+#include "src/mc/mc_mmu.hpp"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_page_snapshot, mc, "Logging specific to mc_page_snapshot");
xbt_assert(top_index_ <= this->capacity_, "top_index is not consistent");
// First, we check if a page with the same content is already in the page store:
- // 1. compute the hash of the page;
- // 2. find pages with the same hash using `hash_index_`;
- // 3. find a page with the same content.
+ // 1. compute the hash of the page
+ // 2. find pages with the same hash using `hash_index_`
+ // 3. find a page with the same content
hash_type hash = mc_hash_page(page);
// Try to find a duplicate in set of pages with the same hash: