[lex.phases],[forward.list.ops],[list.ops],[alg.unique] Hyphenate non-empty

source/algorithms.tex

@@ -5943,7 +5943,7 @@
 
 \pnum
 \effects
-For a nonempty range, eliminates all but the first element
+For a non-empty range, eliminates all but the first element
 from every consecutive group of equivalent elements referred to
 by the iterator \tcode{i} in the range \range{first + 1}{last}
 for which $E$ is \tcode{true}.
@@ -5958,7 +5958,7 @@
 
 \pnum
 \complexity
-For nonempty ranges, exactly \tcode{(last - first) - 1} applications
+For non-empty ranges, exactly \tcode{(last - first) - 1} applications
 of the corresponding predicate and
 no more than twice as many applications of any projection.
 \end{itemdescr}

source/containers.tex

@@ -7719,7 +7719,7 @@
 \effects
 Erases all but the first element from every consecutive
 group of equivalent elements.
-That is, for a nonempty list, erases all elements referred to
+That is, for a non-empty list, erases all elements referred to
 by the iterator \tcode{i} in the range \range{begin() + 1}{end()}
 for which \tcode{binary_pred(*i, *(i - 1))} is \tcode{true}.
 Invalidates only the iterators and references to the erased elements.
@@ -8465,7 +8465,7 @@
 \effects
 Erases all but the first element from every
 consecutive group of equivalent elements.
-That is, for a nonempty list, erases all elements referred to
+That is, for a non-empty list, erases all elements referred to
 by the iterator \tcode{i} in the range \range{begin() + 1}{end()}
 for which \tcode{binary_pred(*i, *(i - 1))} is \tcode{true}.
 Invalidates only the iterators and references to the erased elements.

source/lex.tex

@@ -132,7 +132,7 @@
 comment.
 \end{footnote}
 Each comment is replaced by one space character. New-line characters are
-retained. Whether each nonempty sequence of whitespace characters other
+retained. Whether each non-empty sequence of whitespace characters other
 than new-line is retained or replaced by one space character is
 unspecified.
 As characters from the source file are consumed