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 0d93d37c7..61da5f322 100644 --- a/src/mem/page_table.hh +++ b/src/mem/page_table.hh @@ -44,7 +44,6 @@ #include "base/types.hh" #include "config/the_isa.hh" #include "mem/request.hh" -#include "sim/faults.hh" #include "sim/serialize.hh" class Process; |