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