Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions source/concepts.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
3 changes: 2 additions & 1 deletion source/iterators.tex
Original file line number Diff line number Diff line change
Expand Up @@ -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}

Expand Down