1 files changed, 4 insertions, 0 deletions
diff --git a/unix/main.c b/unix/main.c
index 7bfa96b273..780f159efe 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -506,6 +506,10 @@ int main(int argc, char **argv) {
         ret = do_repl();
     }
 
+    if (mp_verbose_flag) {
+        mem_info(0, NULL);
+    }
+
     mp_deinit();
 
 #if MICROPY_ENABLE_GC && !defined(NDEBUG)