1 files changed, 1 insertions, 0 deletions
diff --git a/kern/ast.c b/kern/ast.c
index 8fff997..1d967fc 100644
--- a/kern/ast.c
+++ b/kern/ast.c
@@ -37,6 +37,7 @@
 
 #include <kern/ast.h>
 #include <kern/counters.h>
+#include <kern/debug.h>  /* for panic() */
 #include "cpu_number.h"
 #include <kern/queue.h>
 #include <kern/sched.h>