[iterators.common] fix typo and add "is true" to Preconditions: claus…

…es (#4382)
cplusplus · Nov 18, 2020 · c890f0e · c890f0e
1 parent a888cfb
commit c890f0e
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/source/iterators.tex b/source/iterators.tex
@@ -4880,7 +4880,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{holds_alternative<I>(v_)}.
+\tcode{holds_alternative<I>(v_)} is \tcode{true}.
 
 \pnum
 \effects
@@ -4905,7 +4905,7 @@
 
 \pnum
 \expects
-\tcode{holds_alternative<I>(v_)}.
+\tcode{holds_alternative<I>(v_)} is \tcode{true}.
 
 \pnum
 \effects
@@ -4950,7 +4950,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{holds_alternative<I>(v_)}.
+\tcode{holds_alternative<I>(v_)} is \tcode{true}.
 
 \pnum
 \effects
@@ -4969,7 +4969,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{holds_alternative<I>(v_)}.
+\tcode{holds_alternative<I>(v_)} is \tcode{true}.
 
 \pnum
 \effects
@@ -5059,7 +5059,7 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{holds_alternative<I>(v_)}.
+\tcode{holds_alternative<I>(i.v_)} is \tcode{true}.
 
 \pnum
 \effects