Index: generic/src/proc/thread.c
===================================================================
--- generic/src/proc/thread.c	(revision 9a8d91b75a1fd931c8f781ec517362f92ed670d3)
+++ generic/src/proc/thread.c	(revision a6d4cebe4e2af4fd70f49dc2ffb18186d4447b4a)
@@ -46,5 +46,4 @@
 #include <typedefs.h>
 #include <time/clock.h>
-#include <adt/list.h>
 #include <config.h>
 #include <arch/interrupt.h>