diff --git a/cpu/native/native_cpu.c b/cpu/native/native_cpu.c index ef269dc924..7bb817d609 100644 --- a/cpu/native/native_cpu.c +++ b/cpu/native/native_cpu.c @@ -16,7 +16,7 @@ * @author Ludwig Ortmann */ #include -#include + #ifdef __MACH__ #define _XOPEN_SOURCE #endif @@ -37,6 +37,8 @@ #define VALGRIND_DEBUG(...) #endif +#include + #include "kernel_internal.h" #include "sched.h"