summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Braun <rbraun@sceen.net>2017-01-28 17:08:15 +0100
committerRichard Braun <rbraun@sceen.net>2017-01-28 17:08:15 +0100
commit57a3100da2adc0dc6b5215e142fb0cfa962e17d6 (patch)
treece2da95a86bfe81b9886ed2060980a41deabfbca
parenta90d38274ec139ea8d593373cecccbc59e8fb3f6 (diff)
kern/mutex: remove unnecessary header inclusion
-rw-r--r--kern/mutex_i.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/kern/mutex_i.h b/kern/mutex_i.h
index a5c1ba31..b09f8cdd 100644
--- a/kern/mutex_i.h
+++ b/kern/mutex_i.h
@@ -20,7 +20,6 @@
#include <kern/assert.h>
#include <kern/list.h>
-#include <kern/spinlock.h>
#include <kern/thread.h>
#include <kern/types.h>
#include <machine/atomic.h>