Skip to content

Commit 0a7ceb9

Browse files
committed
[internet.address.v4.cons] Use \crange for closed range
1 parent bd8f5c5 commit 0a7ceb9

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/internetprotocol.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1421,7 +1421,7 @@
14211421

14221422
\begin{itemdescr}
14231423
\pnum
1424-
\remarks \tcode{out_of_range} if any element of \tcode{bytes} is not in the range \tcode{[0, 0xFF]}. \begin{note} For implementations where \tcode{numeric_limits<unsigned char>::max() == 0xFF}, no out-of-range detection is needed. \end{note}
1424+
\remarks \tcode{out_of_range} if any element of \tcode{bytes} is not in the range \crange{0}{0xFF}. \begin{note} For implementations where \tcode{numeric_limits<unsigned char>::max() == 0xFF}, no out-of-range detection is needed. \end{note}
14251425

14261426
\pnum
14271427
\postconditions \tcode{to_bytes() == bytes} and \tcode{scope_id() == scope}.

0 commit comments

Comments
 (0)