Index: kernel/generic/src/time/timeout.c
===================================================================
--- kernel/generic/src/time/timeout.c	(revision 55b77d9e6e4dab7c54e9826ca79d2d6a0ddb6d87)
+++ kernel/generic/src/time/timeout.c	(revision 0247bd24eab20736d9bd6ad605a5fffbf6d4fc4c)
@@ -41,5 +41,5 @@
 #include <panic.h>
 #include <synch/spinlock.h>
-#include <func.h>
+#include <halt.h>
 #include <cpu.h>
 #include <arch/asm.h>