Index: uspace/lib/urcu/rcu.h
===================================================================
--- uspace/lib/urcu/rcu.h	(revision b1c57a828cb73794beb6a309f5ec0199ca75ecc2)
+++ uspace/lib/urcu/rcu.h	(revision aef669be8dd7a8d097d3e2f786ba26f90cf761fd)
@@ -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