Index: kernel/generic/src/syscall/syscall.c
===================================================================
--- kernel/generic/src/syscall/syscall.c	(revision 174156fd1cf321a6363777352073d05829467b2f)
+++ kernel/generic/src/syscall/syscall.c	(revision d1da1ff2de1cccc51856404f676142f7deb1cf54)
@@ -42,5 +42,4 @@
 #include <mm/as.h>
 #include <mm/page.h>
-#include <print.h>
 #include <arch.h>
 #include <debug.h>