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