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