Index: kernel/arch/mips32/src/debugger.c
===================================================================
--- kernel/arch/mips32/src/debugger.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
+++ kernel/arch/mips32/src/debugger.c	(revision 0116f21c8322ed5d0d54d2a20a217567036f889f)
@@ -42,5 +42,4 @@
 #include <arch.h>
 #include <arch/cp0.h>
-#include <halt.h>
 #include <symtab.h>