diff --git a/mps/manual/html/_sources/guide/lang.txt b/mps/manual/html/_sources/guide/lang.txt index 9a650c7d117..3186774685f 100644 --- a/mps/manual/html/_sources/guide/lang.txt +++ b/mps/manual/html/_sources/guide/lang.txt @@ -116,7 +116,7 @@ Each constructor allocates memory for the new object by calling Objects are never freed, because it is necessary to prove that they are :term:`dead` before their memory can be :term:`reclaimed`. To prove that they are dead, we need a :term:`tracing ` -:term:`garbage collector`. Which the MPS will provide. +:term:`garbage collector`, which the MPS will provide. .. index:: diff --git a/mps/manual/html/guide/lang.html b/mps/manual/html/guide/lang.html index 9de7916449a..eb9cdf7e9a2 100644 --- a/mps/manual/html/guide/lang.html +++ b/mps/manual/html/guide/lang.html @@ -154,7 +154,7 @@

Navigation

Objects are never freed, because it is necessary to prove that they are dead before their memory can be reclaimed. To prove that they are dead, we need a tracing -garbage collector. Which the MPS will provide.

+garbage collector, which the MPS will provide.

3.2. Choosing an arena classΒΆ

diff --git a/mps/manual/source/guide/lang.rst b/mps/manual/source/guide/lang.rst index 9a650c7d117..3186774685f 100644 --- a/mps/manual/source/guide/lang.rst +++ b/mps/manual/source/guide/lang.rst @@ -116,7 +116,7 @@ Each constructor allocates memory for the new object by calling Objects are never freed, because it is necessary to prove that they are :term:`dead` before their memory can be :term:`reclaimed`. To prove that they are dead, we need a :term:`tracing ` -:term:`garbage collector`. Which the MPS will provide. +:term:`garbage collector`, which the MPS will provide. .. index::