diff options
Diffstat (limited to 'src/base/remote_gdb.cc')
| -rw-r--r-- | src/base/remote_gdb.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/remote_gdb.cc b/src/base/remote_gdb.cc index 6c301b10e..c54379c23 100644 --- a/src/base/remote_gdb.cc +++ b/src/base/remote_gdb.cc @@ -131,9 +131,9 @@ #include "base/remote_gdb.hh" #include "base/socket.hh" #include "base/trace.hh" +#include "config/the_isa.hh" #include "cpu/thread_context.hh" #include "cpu/static_inst.hh" -//#include "mem/physical.hh" #include "mem/port.hh" #include "mem/translating_port.hh" #include "sim/system.hh" |