Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit bce9201

Browse files
committed
Typo: shorted --> shorter
This closes bug #117706.
1 parent c8fcdcb commit bce9201

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

Doc/tut/tut.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2016,7 +2016,7 @@ \section{Comparing Sequences and Other Types \label{comparing}}
20162016
the lexicographical comparison is carried out recursively. If all
20172017
items of two sequences compare equal, the sequences are considered
20182018
equal. If one sequence is an initial subsequence of the other, the
2019-
shorted sequence is the smaller one. Lexicographical ordering for
2019+
shorter sequence is the smaller one. Lexicographical ordering for
20202020
strings uses the \ASCII{} ordering for individual characters. Some
20212021
examples of comparisons between sequences with the same types:
20222022

0 commit comments

Comments
 (0)