Index: uspace/lib/c/generic/devman.c
===================================================================
--- uspace/lib/c/generic/devman.c	(revision 9a99aa590ef49523397169b86b44756008e1d749)
+++ uspace/lib/c/generic/devman.c	(revision 7367c312a2e6aa20171463840a60416c6f2d046c)
@@ -45,5 +45,4 @@
 #include <errno.h>
 #include <malloc.h>
-#include <stdbool.h>
 
 static FIBRIL_MUTEX_INITIALIZE(devman_driver_block_mutex);