Skip to content

Commit c890f0e

Browse files
authored
[iterators.common] fix typo and add "is true" to Preconditions: clauses (#4382)
1 parent a888cfb commit c890f0e

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

source/iterators.tex

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -4880,7 +4880,7 @@
48804880
\begin{itemdescr}
48814881
\pnum
48824882
\expects
4883-
\tcode{holds_alternative<I>(v_)}.
4883+
\tcode{holds_alternative<I>(v_)} is \tcode{true}.
48844884

48854885
\pnum
48864886
\effects
@@ -4905,7 +4905,7 @@
49054905

49064906
\pnum
49074907
\expects
4908-
\tcode{holds_alternative<I>(v_)}.
4908+
\tcode{holds_alternative<I>(v_)} is \tcode{true}.
49094909

49104910
\pnum
49114911
\effects
@@ -4950,7 +4950,7 @@
49504950
\begin{itemdescr}
49514951
\pnum
49524952
\expects
4953-
\tcode{holds_alternative<I>(v_)}.
4953+
\tcode{holds_alternative<I>(v_)} is \tcode{true}.
49544954

49554955
\pnum
49564956
\effects
@@ -4969,7 +4969,7 @@
49694969
\begin{itemdescr}
49704970
\pnum
49714971
\expects
4972-
\tcode{holds_alternative<I>(v_)}.
4972+
\tcode{holds_alternative<I>(v_)} is \tcode{true}.
49734973

49744974
\pnum
49754975
\effects
@@ -5059,7 +5059,7 @@
50595059
\begin{itemdescr}
50605060
\pnum
50615061
\expects
5062-
\tcode{holds_alternative<I>(v_)}.
5062+
\tcode{holds_alternative<I>(i.v_)} is \tcode{true}.
50635063

50645064
\pnum
50655065
\effects

0 commit comments

Comments
 (0)