Index: uspace/lib/urcu/rcu.h
===================================================================
--- uspace/lib/urcu/rcu.h	(revision b1c57a828cb73794beb6a309f5ec0199ca75ecc2)
+++ uspace/lib/urcu/rcu.h	(revision ec443d53cc8411f6b71e18809a8bf0563e29e90a)
@@ -39,5 +39,5 @@
 #include <compiler/barrier.h>
 #include <libarch/barrier.h>
-#include <bool.h>
+#include <stdbool.h>
 
 /** Use to assign a pointer to newly initialized data to a rcu reader