Index: generic/include/time/timeout.h
===================================================================
--- generic/include/time/timeout.h	(revision dc747e33f6f5d74c7d1b7b50fda3b2fabff8fa82)
+++ generic/include/time/timeout.h	(revision f5935ed33be88b71c675e1e444f606d26789d549)
@@ -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))))