From 9dedcf122d19c6b7452adb48ff5567509adfb073 Mon Sep 17 00:00:00 2001
From: Damien George <damien@micropython.org>
Date: Fri, 5 Feb 2021 15:45:38 +1100
Subject: [PATCH] py/gc: Change include of stdint.h to stddef.h.

No std-int types are used in gc.h, but size_t is which needs stddef.h.

Signed-off-by: Damien George <damien@micropython.org>
---
 ports/esp8266/gccollect.h | 2 ++
 py/gc.h                   | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/ports/esp8266/gccollect.h b/ports/esp8266/gccollect.h
index 4323e95075..b86d3d6e1c 100644
--- a/ports/esp8266/gccollect.h
+++ b/ports/esp8266/gccollect.h
@@ -26,6 +26,8 @@
 #ifndef MICROPY_INCLUDED_ESP8266_GCCOLLECT_H
 #define MICROPY_INCLUDED_ESP8266_GCCOLLECT_H
 
+#include <stdint.h>
+
 extern uint32_t _text_start;
 extern uint32_t _text_end;
 extern uint32_t _irom0_text_start;
diff --git a/py/gc.h b/py/gc.h
index f67fb0daad..5aef27c006 100644
--- a/py/gc.h
+++ b/py/gc.h
@@ -27,7 +27,7 @@
 #define MICROPY_INCLUDED_PY_GC_H
 
 #include <stdbool.h>
-#include <stdint.h>
+#include <stddef.h>
 
 void gc_init(void *start, void *end);