summaryrefslogtreecommitdiff
path: root/stdlib/listLabels.mli
diff options
context:
space:
mode:
authorDaniel Bünzli <daniel.buenzli@erratique.ch>2018-11-08 17:33:55 +0100
committerAlain Frisch <alain@frisch.fr>2018-11-08 17:33:55 +0100
commitacb0e91ac67e5b905a9d615d936297c4acb1efc0 (patch)
treeeb5e2d4ed0455fdcd31bfc6203167b49020696f8 /stdlib/listLabels.mli
parentbf78bacb14333bb235a38f148234ed3ff8525807 (diff)
downloadocaml-acb0e91ac67e5b905a9d615d936297c4acb1efc0.tar.gz
Stdlib doc: harmonize heading levels again. (#2142)
Diffstat (limited to 'stdlib/listLabels.mli')
-rw-r--r--stdlib/listLabels.mli2
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