diff --git a/include/microkernel/event.h b/include/microkernel/event.h index 0749fd15be0..41bbd71bc70 100644 --- a/include/microkernel/event.h +++ b/include/microkernel/event.h @@ -33,7 +33,7 @@ extern "C" { * @{ */ -#include +#include /* well-known events */ extern const kevent_t TICK_EVENT; diff --git a/include/microkernel/semaphore.h b/include/microkernel/semaphore.h index 5832af74e9e..0fc5769a431 100644 --- a/include/microkernel/semaphore.h +++ b/include/microkernel/semaphore.h @@ -34,7 +34,7 @@ extern "C" { #endif -#include +#include /** *