summaryrefslogtreecommitdiff
path: root/kern/mutex.c
diff options
context:
space:
mode:
Diffstat (limited to 'kern/mutex.c')
-rw-r--r--kern/mutex.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/mutex.c b/kern/mutex.c
index 6a1af208..b193aedb 100644
--- a/kern/mutex.c
+++ b/kern/mutex.c
@@ -17,6 +17,7 @@
#ifndef X15_MUTEX_PI
+#include <stdbool.h>
#include <stddef.h>
#include <kern/mutex.h>