diff options
Diffstat (limited to 'doc/Correctness.tex')
| -rw-r--r-- | doc/Correctness.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Correctness.tex b/doc/Correctness.tex index 6021ec9a7..7c8d97fc5 100644 --- a/doc/Correctness.tex +++ b/doc/Correctness.tex @@ -659,7 +659,7 @@ following: \texttt{Exchange}). \item[Sorted]: this module defines the property for an array to be - sorted, on the whole array (\texttt{sorted\_array}) or on a segment + sorted, either on the whole array (\texttt{sorted\_array}) or on a segment (\texttt{sub\_sorted\_array}). It also provides a few lemmas to establish this property. \end{description} |