diff options
| -rw-r--r-- | kern/printf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kern/printf.c b/kern/printf.c index 50f23623..cbc27ae6 100644 --- a/kern/printf.c +++ b/kern/printf.c @@ -116,12 +116,12 @@ * (compatibility) */ +#include <stdarg.h> #include <string.h> #include <device/cons.h> #include <kern/printf.h> #include <mach/boolean.h> -#include <kern/lock.h> -#include <stdarg.h> + #define isdigit(d) ((d) >= '0' && (d) <= '9') #define Ctod(c) ((c) - '0') |