diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-03 00:51:54 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-03 00:51:54 +0200 |
| commit | 8927c6e2c42d3e9bc3650fccab093f6004fff222 (patch) | |
| tree | c5937e53430324853cdaa6a3f45bfa1803a3df81 /clib/cMap.mli | |
| parent | 5c93d722426a552f4cf1ce93bcd3dbaf14948b6f (diff) | |
[lib] Fix wrong deprecation annotations.
Introduced in #7177
Diffstat (limited to 'clib/cMap.mli')
| -rw-r--r-- | clib/cMap.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clib/cMap.mli b/clib/cMap.mli index b45effb95..127bf23ab 100644 --- a/clib/cMap.mli +++ b/clib/cMap.mli @@ -58,10 +58,10 @@ sig (** Folding keys in decreasing order. *) val smartmap : ('a -> 'a) -> 'a t -> 'a t - (** [@@ocaml.deprecated "Same as [Smart.map]"] *) + [@@ocaml.deprecated "Same as [Smart.map]"] val smartmapi : (key -> 'a -> 'a) -> 'a t -> 'a t - (** [@@ocaml.deprecated "Same as [Smart.mapi]"] *) + [@@ocaml.deprecated "Same as [Smart.mapi]"] val height : 'a t -> int (** An indication of the logarithmic size of a map *) |