Index: kernel/generic/src/console/chardev.c
===================================================================
--- kernel/generic/src/console/chardev.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/console/chardev.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -38,5 +38,5 @@
 #include <synch/waitq.h>
 #include <synch/spinlock.h>
-#include <print.h>
+#include <stdio.h>
 #include <halt.h>
 #include <cpu.h>
Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/console/cmd.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -45,5 +45,5 @@
 #include <console/console.h>
 #include <console/kconsole.h>
-#include <print.h>
+#include <stdio.h>
 #include <log.h>
 #include <panic.h>
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/console/console.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -47,5 +47,5 @@
 #include <arch.h>
 #include <panic.h>
-#include <print.h>
+#include <stdio.h>
 #include <putchar.h>
 #include <atomic.h>
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/console/kconsole.c	(revision 790f3a3a7e4d0de0dc62be56505cd98a8966eaef)
@@ -45,5 +45,5 @@
 #include <console/cmd.h>
 #include <console/prompt.h>
-#include <print.h>
+#include <stdio.h>
 #include <panic.h>
 #include <typedefs.h>