diff options
| -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 cf5eed780..9908947ac 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" |