diff options
Diffstat (limited to 'device/ds_routines.c')
| -rw-r--r-- | device/ds_routines.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index 9dccf2db..371bbb8e 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -44,7 +44,7 @@ #include <kern/ast.h> #include <kern/counters.h> -#include <kern/debug.h> /* for panic() */ +#include <kern/debug.h> #include <kern/printf.h> #include <kern/queue.h> #include <kern/zalloc.h> |