Index: kernel/generic/include/proc/task.h
===================================================================
--- kernel/generic/include/proc/task.h	(revision c0f13d2675d8c8db426acccaba56a4377f515dc3)
+++ kernel/generic/include/proc/task.h	(revision 377cce891a2528771a2913795413e5ee00e7911d)
@@ -40,5 +40,4 @@
 #include <synch/spinlock.h>
 #include <synch/mutex.h>
-#include <synch/rwlock.h>
 #include <synch/futex.h>
 #include <adt/avl.h>