diff options
| author | Lioncash <mathew1800@gmail.com> | 2020-11-17 19:43:24 -0500 |
|---|---|---|
| committer | Lioncash <mathew1800@gmail.com> | 2020-11-17 19:43:27 -0500 |
| commit | 0890451c554973b907dc8febe6e65b499f21ab09 (patch) | |
| tree | 876fd5227c82acaa01368891ccc275f98bc886fd /src/common/page_table.h | |
| parent | 8ace3959a57a54bedea290e0b1370ae965f74a7d (diff) | |
page_table: Remove unnecessary header inclusions
Prevents indirect inclusions for these headers.
Diffstat (limited to 'src/common/page_table.h')
| -rw-r--r-- | src/common/page_table.h | 4 |
1 files changed, 0 insertions, 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" |