From 2bb6c785263e078530e3785a91c5678fe24f1901 Mon Sep 17 00:00:00 2001
From: Rob Rix <rob.rix@me.com>
Date: Thu, 21 Dec 2017 14:22:28 -0500
Subject: [PATCH] Note that the gc traces.

---
 src/Analysis/Abstract/Collecting.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Analysis/Abstract/Collecting.hs b/src/Analysis/Abstract/Collecting.hs
index face7c4e9..ff0c2e1fc 100644
--- a/src/Analysis/Abstract/Collecting.hs
+++ b/src/Analysis/Abstract/Collecting.hs
@@ -26,7 +26,7 @@ evCollect ev0 ev' yield e = do
   modifyStore (gc (roots <> valueRoots v))
   pure v
 
--- | Collect any addresses in the store not rooted in the given 'Live' set.
+-- | Collect any addresses in the store not rooted in or reachable from the given 'Live' set.
 gc :: ( Ord (LocationFor a)
       , Foldable (Cell (LocationFor a))
       , ValueRoots (LocationFor a) a