diff --git a/core/shared/platform/riot/platform_internal.h b/core/shared/platform/riot/platform_internal.h
index 0f79c6f7b..91d08cfe7 100644
--- a/core/shared/platform/riot/platform_internal.h
+++ b/core/shared/platform/riot/platform_internal.h
@@ -8,7 +8,7 @@
 #define _PLATFORM_INTERNAL_H
 
 //Riot includes core
-#include <kernel_types.h>
+#include <sched.h>
 #include <thread.h>
 #include <mutex.h>