Skip to content

Commit d307e70

Browse files
committed
For comparable, change Mandates to Preconditions
1 parent 1f8f199 commit d307e70

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

source/lib-intro.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1685,7 +1685,7 @@
16851685

16861686
\begin{itemdescr}
16871687
\pnum
1688-
\mandates
1688+
\expects
16891689
\tcode{decltype(a == b)} models \exposconcept{boolean-testable}.
16901690

16911691
\pnum
@@ -1714,7 +1714,7 @@
17141714

17151715
\begin{itemdescr}
17161716
\pnum
1717-
\mandates
1717+
\expects
17181718
\tcode{decltype(a < b)} models \exposconcept{boolean-testable}.
17191719

17201720
\pnum

0 commit comments

Comments
 (0)