diff options
Diffstat (limited to 'src/kern/operatingsystem.hh')
| -rw-r--r-- | src/kern/operatingsystem.hh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/kern/operatingsystem.hh b/src/kern/operatingsystem.hh index 712b97c35..47e64ffd9 100644 --- a/src/kern/operatingsystem.hh +++ b/src/kern/operatingsystem.hh @@ -31,10 +31,9 @@ #ifndef __KERN_OPERATINGSYSTEM_HH__ #define __KERN_OPERATINGSYSTEM_HH__ +#include "base/types.hh" #include "config/full_system.hh" -#include <inttypes.h> - #if FULL_SYSTEM class OperatingSystem {}; |