diff options
Diffstat (limited to 'kern/priority.c')
| -rw-r--r-- | kern/priority.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kern/priority.c b/kern/priority.c index 7f28b3d7..03c46eb3 100644 --- a/kern/priority.c +++ b/kern/priority.c @@ -45,7 +45,7 @@ #include <kern/priority.h> #include <kern/processor.h> #include <kern/timer.h> -#include <machine/machspl.h> +#include <machine/spl.h> |