Index: src/time/timeout.c
===================================================================
--- src/time/timeout.c	(revision 43114c515872442297f5b1b8a327743ef24c825a)
+++ src/time/timeout.c	(revision da79d0fdad931cfe4861e0f4095c0bbdb92fb4a3)
@@ -31,4 +31,5 @@
 #include <arch/types.h>
 #include <config.h>
+#include <panic.h>
 #include <synch/spinlock.h>
 #include <func.h>