diff options
Diffstat (limited to 'rts/StablePtr.c')
-rw-r--r-- | rts/StablePtr.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rts/StablePtr.c b/rts/StablePtr.c index 8f860d480c..ffd1d0775a 100644 --- a/rts/StablePtr.c +++ b/rts/StablePtr.c @@ -200,7 +200,7 @@ enlargeStablePtrTable(void) } /* Note [Enlarging the stable pointer table] - * + * ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ * To enlarge the stable pointer table, we allocate a new table, copy the * existing entries, and then store the old version of the table in old_SPTs * until we free it during GC. By not immediately freeing the old version |