From 8927c6e2c42d3e9bc3650fccab093f6004fff222 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 3 Jun 2018 00:51:54 +0200
Subject: [lib] Fix wrong deprecation annotations.

Introduced in #7177
---
 clib/cMap.ml  | 8 ++++----
 clib/cMap.mli | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/clib/cMap.ml b/clib/cMap.ml
index f6e52594be..54a8b25851 100644
--- a/clib/cMap.ml
+++ b/clib/cMap.ml
@@ -35,9 +35,9 @@ sig
   val fold_left : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
   val fold_right : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
   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
   module Smart :
   sig
@@ -66,9 +66,9 @@ sig
   val fold_left : (M.t -> 'a -> 'b -> 'b) -> 'a map -> 'b -> 'b
   val fold_right : (M.t -> 'a -> 'b -> 'b) -> 'a map -> 'b -> 'b
   val smartmap : ('a -> 'a) -> 'a map -> 'a map
-  (** [@@ocaml.deprecated "Same as [Smart.map]"] *)
+  [@@ocaml.deprecated "Same as [Smart.map]"]
   val smartmapi : (M.t -> 'a -> 'a) -> 'a map -> 'a map
-  (** [@@ocaml.deprecated "Same as [Smart.mapi]"] *)
+  [@@ocaml.deprecated "Same as [Smart.mapi]"]
   val height : 'a map -> int
   module Smart :
   sig
diff --git a/clib/cMap.mli b/clib/cMap.mli
index b45effb95b..127bf23ab6 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 *)
-- 
cgit v1.2.3