adapt to moved kernel_pid_t location

named-data-iot · Nov 23, 2020 · fd5b7e7 · fd5b7e7
1 parent 34c5eb8
commit fd5b7e7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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" {