From fd5b7e7a8e70fa4eca03670b1fe90800964b81f6 Mon Sep 17 00:00:00 2001
From: Kaspar Schleiser <kaspar@schleiser.de>
Date: Mon, 23 Nov 2020 12:44:54 +0100
Subject: [PATCH] adapt to moved kernel_pid_t location

---
 face-table.h | 2 +-
 ndn.h        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/face-table.h b/face-table.h
index 28b44a5..fb0c39b 100644
--- 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
index d8d148c..47d2032 100644
--- 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" {