diff options
-rw-r--r-- | ports/esp8266/gccollect.h | 2 | ||||
-rw-r--r-- | py/gc.h | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/ports/esp8266/gccollect.h b/ports/esp8266/gccollect.h index 4323e9507..b86d3d6e1 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; @@ -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); |