diff options
Diffstat (limited to 'base/remote_gdb.cc')
| -rw-r--r-- | base/remote_gdb.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/base/remote_gdb.cc b/base/remote_gdb.cc index 5a6987877..280b1cc23 100644 --- a/base/remote_gdb.cc +++ b/base/remote_gdb.cc @@ -94,7 +94,7 @@ #include <string> #include "exec_context.hh" -#include "intmath.h" +#include "intmath.hh" #include "kgdb.h" #include "physical_memory.hh" |