diff options
Diffstat (limited to 'ddb/db_print.c')
| -rw-r--r-- | ddb/db_print.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ddb/db_print.c b/ddb/db_print.c index 5c15d00..e9d8e4b 100644 --- a/ddb/db_print.c +++ b/ddb/db_print.c @@ -33,8 +33,8 @@ /* * Miscellaneous printing. */ +#include <string.h> #include <mach/port.h> -#include <kern/strings.h> #include <kern/task.h> #include <kern/thread.h> #include <kern/queue.h> |