diff options
| -rw-r--r-- | ports/stm32/gccollect.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/ports/stm32/gccollect.c b/ports/stm32/gccollect.c index 50880e289..d92fc5cef 100644 --- a/ports/stm32/gccollect.c +++ b/ports/stm32/gccollect.c @@ -30,11 +30,10 @@ #include "py/obj.h" #include "py/gc.h" #include "py/mpthread.h" +#include "lib/utils/gchelper.h" #include "gccollect.h" #include "systick.h" -uintptr_t gc_helper_get_regs_and_sp(uintptr_t *regs); - void gc_collect(void) { // get current time, in case we want to time the GC #if 0 |