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

---
 interp/declare.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp/declare.ml')

diff --git a/interp/declare.ml b/interp/declare.ml
index 1aeb67afb..0adad1419 100644
--- a/interp/declare.ml
+++ b/interp/declare.ml
@@ -560,7 +560,7 @@ let do_universe poly l =
       ignore(Lib.add_leaf id (input_universe (src, lev))))
     l
 
-type constraint_decl = polymorphic * Univ.constraints
+type constraint_decl = polymorphic * Univ.Constraint.t
 
 let cache_constraints (na, (p, c)) =
   let ctx =
-- 
cgit v1.2.3