Index: kernel/test/debug/mips1.c
===================================================================
--- kernel/test/debug/mips1.c	(revision 34db7fa828e4d10ee2a902fb4143704b3feda184)
+++ kernel/test/debug/mips1.c	(revision 84757b5af9dc0d4e1dda4ce09d9bdd14fbc25f11)
@@ -31,5 +31,4 @@
 #include <print.h>
 #include <debug.h>
-#include <panic.h>
 
 #include <test.h>