From adff9d1ef04deced1d90fdc159f78b1a47b10cbd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=89milie=20Feral?= <emilie.feral@numworks.com>
Date: Thu, 17 Aug 2017 16:01:23 +0200
Subject: [PATCH] [python] garbage collector does not print anything

Change-Id: I7da630ea530424878b8ca1f35117fdac67ab574c
---
 python/port/port.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/port/port.c b/python/port/port.c
index 6c3916025..6f1aaf0c0 100644
--- a/python/port/port.c
+++ b/python/port/port.c
@@ -52,7 +52,7 @@ void gc_collect(void) {
     // FIXME
     //gc_collect_root(&dummy, ((mp_uint_t)stack_top - (mp_uint_t)&dummy) / sizeof(mp_uint_t));
     gc_collect_end();
-    gc_dump_info();
+    //gc_dump_info();
 #endif
 }