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.

---
 kernel/subtyping.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/subtyping.mli')

diff --git a/kernel/subtyping.mli b/kernel/subtyping.mli
index b24c20aa02..67df3759ec 100644
--- a/kernel/subtyping.mli
+++ b/kernel/subtyping.mli
@@ -10,4 +10,4 @@ open Univ
 open Declarations
 open Environ
 
-val check_subtypes : env -> module_type_body -> module_type_body -> constraints
+val check_subtypes : env -> module_type_body -> module_type_body -> Constraint.t
-- 
cgit v1.2.3