py/gc: Make gc_dump_info/gc_dump_alloc_table take a printer as argument.

So that callers can redirect the output if needed.

Signed-off-by: Damien George <damien@micropython.org>

1 files changed, 3 insertions, 3 deletions

diff --git a/py/gc.h b/py/gc.h
index bb4204b06..8431c0a6c 100644
--- a/py/gc.h
+++ b/py/gc.h
@@ -28,7 +28,7 @@
 
 #include <stdbool.h>
 #include <stddef.h>
-#include "py/mpconfig.h"
+#include "py/mpprint.h"
 
 void gc_init(void *start, void *end);
 
@@ -72,7 +72,7 @@ typedef struct _gc_info_t {
 } gc_info_t;
 
 void gc_info(gc_info_t *info);
-void gc_dump_info(void);
-void gc_dump_alloc_table(void);
+void gc_dump_info(const mp_print_t *print);
+void gc_dump_alloc_table(const mp_print_t *print);
 
 #endif // MICROPY_INCLUDED_PY_GC_H