diff options
Diffstat (limited to 'ddb/db_output.c')
| -rw-r--r-- | ddb/db_output.c | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/ddb/db_output.c b/ddb/db_output.c index daf141d..1506bcd 100644 --- a/ddb/db_output.c +++ b/ddb/db_output.c @@ -34,6 +34,7 @@ * Printf and character output for debugger. */ +#include <printf.h> #include <stdarg.h> #include <mach/boolean.h> #include <machine/db_machdep.h> @@ -201,11 +202,6 @@ void db_end_line() db_printf("\n"); } -/* - * Printing - */ -extern void _doprnt(); - /*VARARGS1*/ void db_printf(const char *fmt, ...) |