Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 82d515e917f3eeeff253e4aa30e493f5f632c950)
+++ kernel/generic/src/proc/scheduler.c	(revision 53fdf8cbac47a41c493c58222638a856360e9a84)
@@ -58,5 +58,5 @@
 #include <context.h>
 #include <fpu_context.h>
-#include <func.h>
+#include <halt.h>
 #include <arch.h>
 #include <adt/list.h>