Index: kernel/generic/src/ipc/event.c
===================================================================
--- kernel/generic/src/ipc/event.c	(revision 97d42d5e11dcee14940db22d71b410bb48103e65)
+++ kernel/generic/src/ipc/event.c	(revision ea186c6a94bfed91b857eb2bbd1b685729f847af)
@@ -36,5 +36,4 @@
 
 #include <ipc/event.h>
-#include <ipc/event_types.h>
 #include <mm/slab.h>
 #include <typedefs.h>