From 7809406a2a190fc9b3a568be2c96947d739b882b Mon Sep 17 00:00:00 2001
From: Alexander Entinger <cto@lxrobotics.com>
Date: Thu, 23 Sep 2021 07:31:01 +0200
Subject: [PATCH] Fix CI: Add missing include <mbed.h>

---
 src/Arduino_Threads.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Arduino_Threads.h b/src/Arduino_Threads.h
index f176365..fa06aac 100644
--- a/src/Arduino_Threads.h
+++ b/src/Arduino_Threads.h
@@ -1,6 +1,7 @@
 #ifndef ARDUINO_THREADS_H_
 #define ARDUINO_THREADS_H_
 
+#include <mbed.h>
 #include <MemoryPool.h>
 
 #define SOURCE(name, type) \