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