adapt to moved kernel_pid_t location

kaspar030 · kaspar030 · commit fd5b7e7a8e70 · 2020-11-23T17:25:04.000+01:00
diff --git a/face-table.h b/face-table.h
@@ -20,7 +20,7 @@
 #ifndef NDN_FACE_TABLE_H_
 #define NDN_FACE_TABLE_H_
 
-#include <kernel_types.h>
+#include "sched.h"
 
 #ifdef __cplusplus
 extern "C" {
diff --git a/ndn.h b/ndn.h
@@ -20,7 +20,7 @@
 #ifndef NDN_H_
 #define NDN_H_
 
-#include <kernel_types.h>
+#include "sched.h"
 
 #ifdef __cplusplus
 extern "C" {
