Minor refilling of a paragraph...

warsaw · warsaw · commit 92a6ed9940c5 · 1998-08-07T16:33:51.000Z
diff --git a/Doc/ref/ref3.tex b/Doc/ref/ref3.tex
@@ -35,8 +35,8 @@ \section{Objects, values and types\label{objects}}
 
 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
