From d81ea7705cd60b6bcb1de07282860228a23b68ac Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sat, 11 Nov 2017 21:57:25 +0100
Subject: Universe instance printer: add optional variance argument.

---
 kernel/indtypes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/indtypes.ml')

diff --git a/kernel/indtypes.ml b/kernel/indtypes.ml
index f2677acd64..cfca335d32 100644
--- a/kernel/indtypes.ml
+++ b/kernel/indtypes.ml
@@ -246,7 +246,7 @@ let check_subtyping cumi paramsctxt env_ar inds =
     let env = Environ.push_context uctx env_ar in
     let env = Environ.push_context uctx_other env in
     let subtyp_constraints =
-      Variance.leq_constraints (CumulativityInfo.variance cumi)
+      CumulativityInfo.leq_constraints cumi
         (UContext.instance uctx) instance_other
         Constraint.empty
     in
-- 
cgit v1.2.3