From 81f729226934078732e9994116ceb29adf52ea68 Mon Sep 17 00:00:00 2001
From: Lioncash <mathew1800@gmail.com>
Date: Tue, 17 Nov 2020 19:43:24 -0500
Subject: [PATCH] page_table: Remove unnecessary header inclusions

Prevents indirect inclusions for these headers.
---
 src/common/page_table.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/common/page_table.h b/src/common/page_table.h
index cf5eed780d..9908947ac6 100644
--- 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"