Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision 6c4a56f3dfeb76e8cadec584d06e5862d6074d3e)
+++ kernel/generic/src/synch/waitq.c	(revision 36a75a2ebea94aea971bd83a0590dd676373a253)
@@ -49,5 +49,5 @@
 #include <proc/scheduler.h>
 #include <arch/asm.h>
-#include <arch/types.h>
+#include <typedefs.h>
 #include <time/timeout.h>
 #include <arch.h>