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