From a6dcf744f7746942e104e26dd5341ed6d088a50a Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 26 Feb 2019 18:26:40 +0100
Subject: Fix deprecation warning

---
 library/global.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/library/global.mli b/library/global.mli
index 4e2ad92717..afb017a905 100644
--- a/library/global.mli
+++ b/library/global.mli
@@ -134,7 +134,7 @@ val constr_of_global_in_context : Environ.env ->
 
 val type_of_global_in_context : Environ.env -> 
   GlobRef.t -> Constr.types * Univ.AUContext.t
-  [@@ocaml.deprecated "alias of [Typeops.type_of_global]"]
+  [@@ocaml.deprecated "alias of [Typeops.type_of_global_in_context]"]
 
 (** Returns the universe context of the global reference (whatever its polymorphic status is). *)
 val universes_of_global : GlobRef.t -> Univ.AUContext.t
-- 
cgit v1.2.3