diff options
| author | Damien George <damien.p.george@gmail.com> | 2019-02-12 14:38:30 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2019-02-12 14:38:30 +1100 |
| commit | 3058d4689208a85fe7e56c126424027ebc61da30 (patch) | |
| tree | d0bc0bbbe8ad35c535c14a1c2c14e51cace4d704 | |
| parent | 8d1275ec0f99805c14b594b84194a138b5a78fcd (diff) | |
stm32/gccollect: Use gchelper.h header instead of explicit declaration.
| -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 |