diff --git a/source/utilities.tex b/source/utilities.tex index b5c3bc2c14..93b35a9d53 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -16098,8 +16098,8 @@ \pnum \expects The value type of \tcode{RandomAccessIterator1} meets -the \oldconcept{DefaultConstructible} requirements, -the \oldconcept{CopyConstructible} requirements, and +the \oldconcept{DefaultConstructible}, +the \oldconcept{Copy\-Constructible}, and the \oldconcept{CopyAssignable} requirements. \pnum @@ -16215,7 +16215,7 @@ \pnum \throws Any exception thrown by the copy constructor of \tcode{RandomAccessIterator1}, -or by the default constructor, copy constructor, or the copy assignment operator of the value type of \tcode{RandomAccess\-Iterator1} +or by the default constructor, copy constructor, or the copy assignment operator of the value type of \tcode{RandomAccess\-Iterator1}, or the copy constructor or \tcode{operator()} of \tcode{BinaryPredicate} or \tcode{Hash}. May throw \tcode{bad_alloc} if additional memory needed for internal data structures cannot be allocated. \end{itemdescr} @@ -16241,7 +16241,7 @@ \returns A pair of iterators \tcode{i} and \tcode{j} such that \begin{itemize} -\item \tcode{i} is the first iterator \tcode{i} in the range +\item \tcode{i} is the first iterator in the range \range{first}{last - (pat_last_ - pat_first_)} such that for every non-negative integer \tcode{n} less than \tcode{pat_last_ - pat_first_} the following condition holds: