diff options
| author | Lioncash <mathew1800@gmail.com> | 2019-03-21 09:48:52 -0400 |
|---|---|---|
| committer | Lioncash <mathew1800@gmail.com> | 2019-03-21 09:48:54 -0400 |
| commit | c221308a6609b14882cc33bb95e260b4d7b21538 (patch) | |
| tree | 9fbc60a1c8566fde950c83a97dc540ce2a962d52 | |
| parent | 839c0f829b109da8e7c69fe17dd5b054b54a12ac (diff) | |
core/memory: Remove unnecessary includes
In 93da8e0abfcdcc6e3cb5488a0db12373429f1377, the page table construct
was moved to the common library (which utilized these inclusions). Since
the move, nothing requires these headers to be included within the
memory header.
| -rw-r--r-- | src/core/memory.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/core/memory.h b/src/core/memory.h index 3f60d868c..1d38cdca8 100644 --- a/src/core/memory.h +++ b/src/core/memory.h @@ -6,9 +6,6 @@ #include <cstddef> #include <string> -#include <tuple> -#include <vector> -#include <boost/icl/interval_map.hpp> #include "common/common_types.h" namespace Common { |