Update

[l4.git] / l4 / pkg / ferret / include / sensors / __ulist_magic.h

diff --git a/l4/pkg/ferret/include/sensors/__ulist_magic.h b/l4/pkg/ferret/include/sensors/__ulist_magic.h
index 16e8665c6e8642c0d8064ab246cde625d3e34fea..88f5ceb68f51c3280f9c30ef96c6b000d24fb07f 100644 (file)
--- a/l4/pkg/ferret/include/sensors/__ulist_magic.h
+++ b/l4/pkg/ferret/include/sensors/__ulist_magic.h
@@ -11,7 +11,6 @@
  * GNU General Public License 2.
  * Please see the COPYING-GPL-2 file for details.
  */
-#include <l4/sys/user_locks.h>
 
 #undef  FERRET_LLIST_LOCK
 #undef  FERRET_LLIST_UNLOCK