Index: kernel/generic/src/console/chardev.c
===================================================================
--- kernel/generic/src/console/chardev.c	(revision 63e27efdf2fe6d3fa02bbb5ee1da00df5cc07e9d)
+++ kernel/generic/src/console/chardev.c	(revision 98893ede399d6eed12edddf404da1f101f415345)
@@ -39,5 +39,5 @@
 #include <synch/spinlock.h>
 #include <print.h>
-#include <func.h>
+#include <halt.h>
 #include <cpu.h>