diff options
Diffstat (limited to 'src/kern/linux')
-rw-r--r-- | src/kern/linux/printk.hh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/kern/linux/printk.hh b/src/kern/linux/printk.hh index da9564b7e..5c6ee073d 100644 --- a/src/kern/linux/printk.hh +++ b/src/kern/linux/printk.hh @@ -32,8 +32,6 @@ #ifndef __PRINTK_HH__ #define __PRINTK_HH__ -#include "arch/isa_specific.hh" - #include <sstream> class Arguments; |