From 6a3ae689f79e16c4bfbaab8c88e79d6a640111fe Mon Sep 17 00:00:00 2001
From: Gustavo Henrique Nihei <38959758+gustavonihei@users.noreply.github.com>
Date: Tue, 7 Mar 2023 11:01:16 -0300
Subject: [PATCH] nuttx: Add missing pthread.h header (#2009)

---
 core/shared/platform/nuttx/platform_internal.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/core/shared/platform/nuttx/platform_internal.h b/core/shared/platform/nuttx/platform_internal.h
index 74fcc599..b5bbdacd 100644
--- a/core/shared/platform/nuttx/platform_internal.h
+++ b/core/shared/platform/nuttx/platform_internal.h
@@ -14,6 +14,7 @@
 #include <inttypes.h>
 #include <limits.h>
 #include <poll.h>
+#include <pthread.h>
 #include <stdarg.h>
 #include <stdbool.h>
 #include <stdio.h>