diff options
Diffstat (limited to 'dev/tsunami.cc')
-rw-r--r-- | dev/tsunami.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/tsunami.cc b/dev/tsunami.cc index 1cdd7d726..c44da69b7 100644 --- a/dev/tsunami.cc +++ b/dev/tsunami.cc @@ -31,7 +31,7 @@ #include <vector> #include "cpu/intr_control.hh" -#include "dev/console.hh" +#include "dev/simconsole.hh" #include "dev/etherdev.hh" #include "dev/ide_ctrl.hh" #include "dev/tlaser_clock.hh" |