diff options
Diffstat (limited to 'src/dev/serial/terminal.hh')
-rw-r--r-- | src/dev/serial/terminal.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/dev/serial/terminal.hh b/src/dev/serial/terminal.hh index 48bfc0771..9e114de14 100644 --- a/src/dev/serial/terminal.hh +++ b/src/dev/serial/terminal.hh @@ -42,7 +42,6 @@ #include "base/circlebuf.hh" #include "base/pollevent.hh" #include "base/socket.hh" -#include "cpu/intr_control.hh" #include "dev/serial/serial.hh" #include "params/Terminal.hh" #include "sim/sim_object.hh" |