Index: generic/include/time/timeout.h
===================================================================
--- generic/include/time/timeout.h	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
+++ generic/include/time/timeout.h	(revision 021d471663b9f267f1999923f91fc387f1943aca)
@@ -33,5 +33,5 @@
 #include <typedefs.h>
 #include <synch/spinlock.h>
-#include <list.h>
+#include <adt/list.h>
 
 #define us2ticks(us)	((__u64)(((__u32) (us)/(1000000/HZ))))