Skip to content

Commit 6fdb0fc

Browse files
committed
[simd.mask.namedconv] Use math expression for precondition
1 parent d874f01 commit 6fdb0fc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/numerics.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19354,7 +19354,7 @@
1935419354
\pnum
1935519355
\expects
1935619356
\begin{itemize}
19357-
\item \tcode{size() <= $N$} is \tcode{true}, or
19357+
\item \tcode{size()} $\le N$, or
1935819358
\item for all $i$ in the range \range{$N$}{size()}, \tcode{operator[]($i$)} returns \tcode{false}.
1935919359
\end{itemize}
1936019360

0 commit comments

Comments
 (0)