diff --git a/mps/design/trace/index.html b/mps/design/trace/index.html index 87bb7b5b89a..9ecf34392b5 100644 --- a/mps/design/trace/index.html +++ b/mps/design/trace/index.html @@ -215,7 +215,7 @@ it implement the semantics of finalization and weakness. The band used to not be explicitly stored, but this hindered the implementation of good finalization semantics (essentially in some circumstances finalization messages were delayed by at least one collection cycle, see -job001568).
+job001658).The band is used when selecting a grey segment to scan (the selection
occurs in traceFindGrey). The tracer attempts to first