[PATCH 13/15] cleanup headers in printf.c

[Luca Dariz]

* kern/printf.c: remove unnecessary #include and reorder

This allows the file to be reused for minimal user-space tests.

Signed-off-by: Luca Dariz <luca@orpolo.org>
---
 kern/printf.c | 4 ++--
 1 file 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')
-- 
2.30.2