From 2a0cbc0d38e8e342c9a54c66a0cca10cae371c6a Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Mon, 19 Feb 2018 16:08:20 +1100
Subject: [PATCH] py/gc: Update comment now that gc_drain_stack is called
 gc_mark_subtree.

---
 py/gc.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/py/gc.c b/py/gc.c
index 92f6348cbe..84c9918fd7 100644
--- a/py/gc.c
+++ b/py/gc.c
@@ -341,10 +341,9 @@ void gc_collect_root(void **ptrs, size_t len) {
     for (size_t i = 0; i < len; i++) {
         void *ptr = ptrs[i];
         if (VERIFY_PTR(ptr)) {
-            // Mark and push this pointer
             size_t block = BLOCK_FROM_PTR(ptr);
             if (ATB_GET_KIND(block) == AT_HEAD) {
-                // an unmarked head, mark it, and push it on gc stack
+                // An unmarked head: mark it, and mark all its children
                 TRACE_MARK(block, ptr);
                 ATB_HEAD_TO_MARK(block);
                 gc_mark_subtree(block);