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