diff options
Diffstat (limited to 'src/kern/linux/printk.cc')
-rw-r--r-- | src/kern/linux/printk.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/kern/linux/printk.cc b/src/kern/linux/printk.cc index 577245f95..a19d81b08 100644 --- a/src/kern/linux/printk.cc +++ b/src/kern/linux/printk.cc @@ -30,11 +30,12 @@ */ #include <sys/types.h> + #include <algorithm> -#include "sim/arguments.hh" #include "base/trace.hh" #include "kern/linux/printk.hh" +#include "sim/arguments.hh" using namespace std; |