Merge Preconditions

cplusplus · Nov 11, 2023 · 7a77086 · 7a77086
1 parent d307e70
commit 7a77086
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/source/lib-intro.tex b/source/lib-intro.tex
@@ -1687,9 +1687,6 @@
 \pnum
 \expects
 \tcode{decltype(a == b)} models \exposconcept{boolean-testable}.
-
-\pnum
-\expects
 \tcode{==} is an equivalence relation,
 that is, it has the following properties:
 \begin{itemize}
@@ -1716,9 +1713,6 @@
 \pnum
 \expects
 \tcode{decltype(a < b)} models \exposconcept{boolean-testable}.
-
-\pnum
-\expects
 \tcode{<} is a strict weak ordering relation\iref{alg.sorting}.
 \end{itemdescr}