diff options
| author | Guillaume Munch-Maccagnoni <Guillaume.Munch-Maccagnoni@Inria.fr> | 2019-06-26 19:03:15 +0200 |
|---|---|---|
| committer | Florian Angeletti <octa@polychoron.fr> | 2019-06-26 19:03:15 +0200 |
| commit | 6a6f34e48306d573bf3036681cb304ed84415957 (patch) | |
| tree | 5452b14c2a659924fbd33f868d40bc64300ed335 /stdlib/listLabels.mli | |
| parent | 4820d299fc7552b26fe118b8e60417b16430c9e8 (diff) | |
| download | ocaml-6a6f34e48306d573bf3036681cb304ed84415957.tar.gz | |
Fix typographic issues in the doc of new modules (#8744)
* Fix typographic issues in the doc of new modules
No change entry needed
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 7ea911b656..2fc4780ff3 100644 --- a/stdlib/listLabels.mli +++ b/stdlib/listLabels.mli @@ -13,7 +13,7 @@ (* *) (**************************************************************************) -type 'a t = 'a list = [] | (::) of 'a * 'a list +type 'a t = 'a list = [] | (::) of 'a * 'a list (**) (** An alias for the type of lists. *) (** List operations. |