Index: kernel/generic/src/sysinfo/sysinfo.c
===================================================================
--- kernel/generic/src/sysinfo/sysinfo.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/sysinfo/sysinfo.c	(revision ad2cf042bea2029414bd5597a2ce547b208ff957)
@@ -37,5 +37,5 @@
 #include <sysinfo/sysinfo.h>
 #include <mm/slab.h>
-#include <print.h>
+#include <stdio.h>
 #include <syscall/copy.h>
 #include <synch/mutex.h>