diff options
Diffstat (limited to 'stdlib/array.ml')
| -rw-r--r-- | stdlib/array.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/array.ml b/stdlib/array.ml index d2feb3747e..a1b9663f1d 100644 --- a/stdlib/array.ml +++ b/stdlib/array.ml @@ -306,7 +306,7 @@ let stable_sort cmp a = let fast_sort = stable_sort -(** {6 Iterators} *) +(** {1 Iterators} *) let to_seq a = let rec aux i () = |