Index: kernel/generic/src/printf/vsnprintf.c
===================================================================
--- kernel/generic/src/printf/vsnprintf.c	(revision 1724745fc31c34fa9d40d58281bd14ff7510fd83)
+++ kernel/generic/src/printf/vsnprintf.c	(revision 36a75a2ebea94aea971bd83a0590dd676373a253)
@@ -35,5 +35,5 @@
 #include <print.h>
 #include <printf/printf_core.h>
-#include <string.h>
+#include <str.h>
 #include <memstr.h>
 #include <errno.h>