Index: uspace/lib/c/generic/devman.c
===================================================================
--- uspace/lib/c/generic/devman.c	(revision 3f57fb73696fea31ef6a619b390a707b4091eda9)
+++ uspace/lib/c/generic/devman.c	(revision faf83cf9ad0f66d170fa21d6bd2f1a5ba5abe52d)
@@ -45,5 +45,5 @@
 #include <errno.h>
 #include <malloc.h>
-#include <bool.h>
+#include <stdbool.h>
 
 static FIBRIL_MUTEX_INITIALIZE(devman_driver_block_mutex);