From e408918ea13f991b33e6ccea7068eaf8844296a0 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Fri, 19 Apr 2024 15:42:22 +0200 Subject: [PATCH] Revert "LWG3031 Fix missing \tcode for const (#6936)" This reverts commit c5e007aab3c4802343e8291aa778c41eecffe8b3. --- source/algorithms.tex | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/source/algorithms.tex b/source/algorithms.tex index 99448714b8..ec47564de5 100644 --- a/source/algorithms.tex +++ b/source/algorithms.tex @@ -159,7 +159,7 @@ \exposconcept{boolean-testable}\iref{concept.booleantestable}. The function object \tcode{pred} shall not apply any non-constant function through its argument. -Given a glvalue \tcode{u} of type (possibly \tcode{const}) \tcode{T} +Given a glvalue \tcode{u} of type (possibly const) \tcode{T} that designates the same object as \tcode{*first}, \tcode{pred(u)} shall be a valid expression that is equal to \tcode{pred(*first)}. @@ -186,9 +186,9 @@ \exposconcept{boolean-testable}. \tcode{binary_pred} shall not apply any non-constant function through any of its arguments. -Given a glvalue \tcode{u} of type (possibly \tcode{const}) \tcode{T1} +Given a glvalue \tcode{u} of type (possibly const) \tcode{T1} that designates the same object as \tcode{*first1}, and -a glvalue \tcode{v} of type (possibly \tcode{const}) \tcode{T2} +a glvalue \tcode{v} of type (possibly const) \tcode{T2} that designates the same object as \tcode{*first2}, \tcode{binary_pred(u, *first2)}, \tcode{binary_pred(*first1, v)}, and