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