Index: kernel/test/print/print1.c
===================================================================
--- kernel/test/print/print1.c	(revision a35b458e9db1ca95e679799dc7c1b12c83359ca3)
+++ kernel/test/print/print1.c	(revision d1da1ff2de1cccc51856404f676142f7deb1cf54)
@@ -27,5 +27,4 @@
  */
 
-#include <print.h>
 #include <stddef.h>
 #include <test.h>