Index: generic/src/time/clock.c
===================================================================
--- generic/src/time/clock.c	(revision 2cf56343897bc8dd259466f6738b78f577b6a53d)
+++ generic/src/time/clock.c	(revision 021d471663b9f267f1999923f91fc387f1943aca)
@@ -38,5 +38,5 @@
 #include <print.h>
 #include <arch.h>
-#include <list.h>
+#include <adt/list.h>
 #include <arch/atomic.h>
 #include <proc/thread.h>