diff options
Diffstat (limited to 'src/kern/linux/linux.hh')
| -rw-r--r-- | src/kern/linux/linux.hh | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh index d816a0932..30ebdbb4a 100644 --- a/src/kern/linux/linux.hh +++ b/src/kern/linux/linux.hh @@ -32,7 +32,6 @@ #define __LINUX_HH__ #include "base/types.hh" -#include "config/full_system.hh" #include <string> |