From 6d1f6eefcee5fad60b5b674135996414ecc17a2d Mon Sep 17 00:00:00 2001
From: Richard Braun <rbraun@sceen.net>
Date: Mon, 11 Aug 2014 01:25:50 +0200
Subject: kern/kernel: remove unneeded header inclusion

---
 kern/kernel.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'kern/kernel.c')

diff --git a/kern/kernel.c b/kern/kernel.c
index bc70211b..dc64f076 100644
--- a/kern/kernel.c
+++ b/kern/kernel.c
@@ -19,7 +19,6 @@
 #include <kern/init.h>
 #include <kern/kernel.h>
 #include <kern/llsync.h>
-#include <kern/panic.h>
 #include <kern/task.h>
 #include <kern/thread.h>
 #include <kern/work.h>
-- 
cgit v1.2.3