diff options
Diffstat (limited to 'src/mem/page_table.hh')
| -rw-r--r-- | src/mem/page_table.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/mem/page_table.hh b/src/mem/page_table.hh index 36fe88490..61da5f322 100644 --- a/src/mem/page_table.hh +++ b/src/mem/page_table.hh @@ -42,7 +42,6 @@ #include "arch/tlb.hh" #include "base/hashmap.hh" #include "base/types.hh" -#include "config/full_system.hh" #include "config/the_isa.hh" #include "mem/request.hh" #include "sim/serialize.hh" |