diff options
Diffstat (limited to 'stdlib/array.mli')
| -rw-r--r-- | stdlib/array.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/array.mli b/stdlib/array.mli index 96a7f91152..0506860d46 100644 --- a/stdlib/array.mli +++ b/stdlib/array.mli @@ -77,7 +77,7 @@ val append : 'a array -> 'a array -> 'a array concatenation of the arrays [v1] and [v2]. *) val concat : 'a array list -> 'a array -(** Same as [Array.append], but catenates a list of arrays. *) +(** Same as [Array.append], but concatenates a list of arrays. *) val sub : 'a array -> int -> int -> 'a array (** [Array.sub a start len] returns a fresh array of length [len], |