Minor refilling of a paragraph...

diff --git a/Doc/ref/ref3.tex b/Doc/ref/ref3.tex
index 28d9e0e023d3a5263d3b21cbb82d55e075688e69..4ca8d69f7292bd2a1586a8f59fedc8233b8026aa 100644 (file)
--- a/Doc/ref/ref3.tex
+++ b/Doc/ref/ref3.tex
@@ -35,8 +35,8 @@ lists are mutable.
 
 Objects are never explicitly destroyed; however, when they become
 unreachable they may be garbage-collected.  An implementation is
-allowed to postpone garbage collection or omit it altogether --- it is a
-matter of implementation quality how garbage collection is
+allowed to postpone garbage collection or omit it altogether --- it is
+a matter of implementation quality how garbage collection is
 implemented, as long as no objects are collected that are still
 reachable.  (Implementation note: the current implementation uses a
 reference-counting scheme which collects most objects as soon as they