From 6ba9f052124eefab518a4869f2fef6e86e8c16ef Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 26 Sep 2018 00:54:26 +0200
Subject: [api] Two more missing deprecations.

We missed two more constructor / record deprecation.
---
 vernac/vernacexpr.ml | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/vernac/vernacexpr.ml b/vernac/vernacexpr.ml
index 13c8830b84..9cbaa8af9b 100644
--- a/vernac/vernacexpr.ml
+++ b/vernac/vernacexpr.ml
@@ -114,8 +114,8 @@ type hint_mode = Hints.hint_mode =
 [@@ocaml.deprecated "Please use [Hints.hint_mode]"]
 
 type 'a hint_info_gen = 'a Typeclasses.hint_info_gen =
-    { hint_priority : int option;
-      hint_pattern : 'a option }
+    { hint_priority : int option; [@ocaml.deprecated "Use Typeclasses.hint_priority"]
+      hint_pattern : 'a option [@ocaml.deprecated "Use Typeclasses.hint_pattern"] }
 [@@ocaml.deprecated "Please use [Typeclasses.hint_info_gen]"]
 
 type hint_info_expr = Hints.hint_info_expr
@@ -151,7 +151,9 @@ type search_restriction =
 
 type rec_flag       = bool (* true = Rec;           false = NoRec          *)
 type verbose_flag   = bool (* true = Verbose;       false = Silent         *)
-type opacity_flag   = Proof_global.opacity_flag = Opaque | Transparent
+type opacity_flag   = Proof_global.opacity_flag =
+    Opaque [@ocaml.deprecated "Use Proof_global.Opaque"]
+  | Transparent [@ocaml.deprecated "Use Proof_global.Transparent"]
  [@ocaml.deprecated "Please use [Proof_global.opacity_flag]"]
 type coercion_flag  = bool (* true = AddCoercion    false = NoCoercion     *)
 type instance_flag  = bool option
-- 
cgit v1.2.3