Index: kernel/generic/include/proc/thread.h
===================================================================
--- kernel/generic/include/proc/thread.h	(revision 1066041e4e1803c9b6506af8a869b03669a25957)
+++ kernel/generic/include/proc/thread.h	(revision fb1007efd862a6a47e2acf22a761d8507bd10c0b)
@@ -41,5 +41,5 @@
 #include <cpu.h>
 #include <synch/spinlock.h>
-#include <synch/rcu.h>
+#include <synch/rcu_types.h>
 #include <adt/avl.h>
 #include <mm/slab.h>