diff options
| author | Pierre-Marie Pédrot | 2018-06-11 16:32:08 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-06-11 16:32:08 +0200 |
| commit | 47389a133b2cb1ae7c240aa203f018e8a19bdd0d (patch) | |
| tree | e5d2953b0f2a9adc4b98766d1954eedd9922059b | |
| parent | 034b70449c094b1b5b022a0596d7639a3b08ca39 (diff) | |
| parent | a19746f2ff7933f0b78ecfcd78e3237ef721977a (diff) | |
Merge PR #7757: [lib] Fix wrong deprecation comment.
| -rw-r--r-- | clib/cList.ml | 1 | ||||
| -rw-r--r-- | clib/cList.mli | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/clib/cList.ml b/clib/cList.ml index 646e39d238..2b627f7457 100644 --- a/clib/cList.ml +++ b/clib/cList.ml @@ -116,6 +116,7 @@ sig val subtract : 'a eq -> 'a list -> 'a list -> 'a list val subtractq : 'a list -> 'a list -> 'a list val merge_uniq : ('a -> 'a -> int) -> 'a list -> 'a list -> 'a list + [@@ocaml.deprecated "Same as [merge_set]"] val distinct : 'a list -> bool val distinct_f : 'a cmp -> 'a list -> bool val duplicates : 'a eq -> 'a list -> 'a list diff --git a/clib/cList.mli b/clib/cList.mli index d080ebca29..13e069e94c 100644 --- a/clib/cList.mli +++ b/clib/cList.mli @@ -354,7 +354,7 @@ sig (** [subtract] specialized to physical equality *) val merge_uniq : 'a cmp -> 'a list -> 'a list -> 'a list - (** [@@ocaml.deprecated "Same as [merge_set]"] *) + [@@ocaml.deprecated "Same as [merge_set]"] (** {6 Uniqueness and duplication} *) |