diff --git a/source/concepts.tex b/source/concepts.tex index 4d848e8fd6..3696bfafaf 100644 --- a/source/concepts.tex +++ b/source/concepts.tex @@ -1261,8 +1261,8 @@ equality-preserving\iref{concepts.equality} and shall not modify the function object or the arguments. \begin{note} -This requirement supersedes the annotation in the definition of -\libconcept{invocable}. +This requirement supersedes the ``not required to be equality-preserving'' comment +in the definition of \libconcept{invocable}. \end{note} \pnum diff --git a/source/iterators.tex b/source/iterators.tex index 6a21fdf1c3..b8b6b3d075 100644 --- a/source/iterators.tex +++ b/source/iterators.tex @@ -1588,7 +1588,8 @@ and post-increment operators. The increment operations are required to be equality-preserving, and the type is required to be \libconcept{equality_comparable}. \begin{note} -This supersedes the annotations on the increment expressions +This supersedes the ``not required to be equality-preserving'' comments +on the increment expressions in the definition of \libconcept{weakly_incrementable}. \end{note}