Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision deacd722f7dca626637926215ebe69ffd2fd67f5)
+++ kernel/generic/include/proc/task.h	(revision 08bd04c0993927efd5ac827783788d10e8371cef)
@@ -42,5 +42,4 @@
 #include <synch/spinlock.h>
 #include <synch/mutex.h>
-#include <synch/futex.h>
 #include <adt/list.h>
 #include <adt/odict.h>
@@ -128,9 +127,4 @@
 	task_arch_t arch;
 
-	/** Serializes access to futex_list.*/
-	SPINLOCK_DECLARE(futex_list_lock);
-	/** List of all futexes accesses by this task. */
-	list_t futex_list;
-
 	/** Accumulated accounting. */
 	uint64_t ucycles;