From 611da26d847888031cac4d6976b9e7e1e90cdc0e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 9 Dec 2017 23:14:19 +0100
Subject: [api] Remove yet another type alias.

---
 API/API.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'API/API.mli')

diff --git a/API/API.mli b/API/API.mli
index abbdf22b91..21d5ada764 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -2775,6 +2775,8 @@ sig
   end
 
   type universe_constraints = Constraints.t
+  [@@ocaml.deprecated "Use Constraints.t"]
+
 end
 
 module UState :
@@ -3111,7 +3113,7 @@ sig
   val fold : Evd.evar_map -> ('a -> constr -> 'a) -> 'a -> constr -> 'a
   val existential_type : Evd.evar_map -> existential -> types
   val iter : Evd.evar_map -> (constr -> unit) -> constr -> unit
-  val eq_constr_universes : Evd.evar_map -> constr -> constr -> Universes.universe_constraints option
+  val eq_constr_universes : Evd.evar_map -> constr -> constr -> Universes.Constraints.t option
   val eq_constr_nounivs : Evd.evar_map -> constr -> constr -> bool
   val compare_constr : Evd.evar_map -> (constr -> constr -> bool) -> constr -> constr -> bool
   val isApp : Evd.evar_map -> constr -> bool
-- 
cgit v1.2.3