Index: generic/include/synch/waitq.h
===================================================================
--- generic/include/synch/waitq.h	(revision 80d2bdbb59aff7f143abc484128e57a0c2b47e47)
+++ generic/include/synch/waitq.h	(revision 49a39c2c0d1933132d867a05b71cfac2264eab4b)
@@ -34,5 +34,5 @@
 #include <synch/spinlock.h>
 #include <synch/synch.h>
-#include <list.h>
+#include <adt/list.h>
 
 #define WAKEUP_FIRST	0