Use stddef.h over Arduino.h

Signed-off-by: Patrick José Pereira <[email protected]>
eclipse-zenoh · Sep 13, 2024 · 072dbcd · 072dbcd
1 parent 7b8a151
commit 072dbcd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 <Arduino.h>
+#include <stddef.h>
 
 #include "zenoh-pico/config.h"