Changes in kernel/generic/src/printf/vprintf.c [90c8b8d:d99c1d2] in mainline

File:

• kernel/generic/src/printf/vprintf.c (modified) (1 diff)

kernel/generic/src/printf/vprintf.c

@@ -38 +38 @@
 #include <synch/spinlock.h>
 #include <arch/asm.h>
-#include <arch/types.h>
 #include <typedefs.h>
-#include <string.h>
+#include <typedefs.h>
+#include <str.h>
 
 SPINLOCK_STATIC_INITIALIZE_NAME(printf_lock, "*printf_lock");