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