From 7d8b79a7a783ced568ebeb45622387d2bea0dbef Mon Sep 17 00:00:00 2001
From: Karl Fessel <karl.fessel@ovgu.de>
Date: Fri, 27 Nov 2020 02:10:00 +0100
Subject: [PATCH] Addapt to RIOT changes (#452)

RIOT removed kernel_types.h in favor of sched.h
---
 core/shared/platform/riot/platform_internal.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/shared/platform/riot/platform_internal.h b/core/shared/platform/riot/platform_internal.h
index 0f79c6f7..91d08cfe 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>