From e6bffa602c0d744a24d7ea7418020ebd8b7dfbbf Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Sat, 7 Oct 2017 11:35:34 +0200
Subject: Fix typo in Univ.CumulativityInfo

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

(limited to 'kernel/univ.ml')

diff --git a/kernel/univ.ml b/kernel/univ.ml
index f72f6f26a..50692ca59 100644
--- a/kernel/univ.ml
+++ b/kernel/univ.ml
@@ -968,7 +968,7 @@ struct
     (univcst, UContext.make (Instance.append inst freshunivs,
                              create_trivial_subtyping inst freshunivs))
 
-  let subtyping_susbst (univcst, subtypcst) = 
+  let subtyping_subst (univcst, subtypcst) =
       let (ctx, ctx') = (halve_context (UContext.instance subtypcst))in
       Array.fold_left2 (fun subst l1 l2 -> LMap.add l1 l2 subst) LMap.empty ctx ctx'
 
-- 
cgit v1.2.3