page_table: Remove unnecessary header inclusions

Prevents indirect inclusions for these headers.
2020-11-17 19:43:24 +07:00 · 2020-11-17 19:43:24 +07:00 · 0890451c55
parent 8ace3959a5
commit 0890451c55
1 changed files with 0 additions and 4 deletions
--- a/src/common/page_table.h
+++ b/src/common/page_table.h
@ -4,10 +4,6 @@

 #pragma once

-#include <vector>
-
-#include <boost/icl/interval_map.hpp>
-
 #include "common/common_types.h"
 #include "common/memory_hook.h"
 #include "common/virtual_buffer.h"