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