Update

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

diff --git a/l4/pkg/ferret/include/sensors/__llist_producer.h b/l4/pkg/ferret/include/sensors/__llist_producer.h
index b7e964b94a507f169de3222560a02132cb88114a..0d0a335b41b778064325c90e6498af302be4ccc9 100644 (file)
--- a/l4/pkg/ferret/include/sensors/__llist_producer.h
+++ b/l4/pkg/ferret/include/sensors/__llist_producer.h
@@ -1,4 +1,5 @@
 /**
+ * \internal
  * \file   ferret/include/sensors/__llist_producer.h
  * \brief  locked list producer functions.
  *
@@ -12,12 +13,11 @@
  * Please see the COPYING-GPL-2 file for details.
  */
 #if FERRET_LLIST_MAGIC != ahK6eeNa
-#error Do not directly include this file, use a propper wrapper!
+#error Do not directly include this file, use a proper wrapper!
 #endif
 #undef FERRET_LLIST_MAGIC
 
-#include <l4/sys/compiler.h>
-#include <l4/sys/ipc.h>
+#include <l4/sys/types.h>
 
 EXTERN_C_BEGIN