diff options
author | Daniel Bünzli <daniel.buenzli@erratique.ch> | 2018-11-08 17:33:55 +0100 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2018-11-08 17:33:55 +0100 |
commit | acb0e91ac67e5b905a9d615d936297c4acb1efc0 (patch) | |
tree | eb5e2d4ed0455fdcd31bfc6203167b49020696f8 /stdlib/listLabels.mli | |
parent | bf78bacb14333bb235a38f148234ed3ff8525807 (diff) | |
download | ocaml-acb0e91ac67e5b905a9d615d936297c4acb1efc0.tar.gz |
Stdlib doc: harmonize heading levels again. (#2142)
Diffstat (limited to 'stdlib/listLabels.mli')
-rw-r--r-- | stdlib/listLabels.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/listLabels.mli b/stdlib/listLabels.mli index 26fc10d370..a664eed263 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -355,7 +355,7 @@ val merge : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> 'a list Not tail-recursive (sum of the lengths of the arguments). *) -(** {6 Iterators} *) +(** {1 Iterators} *) val to_seq : 'a list -> 'a Seq.t (** Iterate on the list |