1 files changed, 2 insertions, 4 deletions
diff --git a/kern/debug.c b/kern/debug.c
index 42764bd7..f8774fc0 100644
--- a/kern/debug.c
+++ b/kern/debug.c
@@ -24,16 +24,14 @@
  * the rights to redistribute these changes.
  */
 
-#include <printf.h>
+#include <kern/printf.h>
 #include <stdarg.h>
 
 #include "cpu_number.h"
 #include <kern/lock.h>
 #include <kern/thread.h>
 
-#warning missing include for panic()
-void panic(const char *s, ...);
-
+#include <kern/debug.h>
 
 extern void cnputc();
 void Debugger();