Index: kernel/generic/include/adt/cht.h
===================================================================
--- kernel/generic/include/adt/cht.h	(revision 14c9aa626996980664d0e365260b6510567b974f)
+++ kernel/generic/include/adt/cht.h	(revision d4d36f9fef8f29ad6987ffaad1de36b3e6939b97)
@@ -38,5 +38,5 @@
 #include <stdint.h>
 #include <adt/list.h>
-#include <synch/rcu.h>
+#include <synch/rcu_types.h>
 #include <macros.h>
 #include <synch/workqueue.h>