From 072dbcd04a53a45cfc69624a4f431a64a7a5d8a8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20Jos=C3=A9=20Pereira?= Date: Fri, 13 Sep 2024 13:00:28 -0300 Subject: [PATCH] Use stddef.h over Arduino.h MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Patrick José Pereira --- include/zenoh-pico/system/platform/arduino/esp32.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/zenoh-pico/system/platform/arduino/esp32.h b/include/zenoh-pico/system/platform/arduino/esp32.h index 9f8c34da9..f8eb8b07b 100644 --- a/include/zenoh-pico/system/platform/arduino/esp32.h +++ b/include/zenoh-pico/system/platform/arduino/esp32.h @@ -15,7 +15,7 @@ #ifndef ZENOH_PICO_SYSTEM_ESP32_TYPES_H #define ZENOH_PICO_SYSTEM_ESP32_TYPES_H -#include +#include #include "zenoh-pico/config.h"