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