From 4688a3b9750827eb0f5f61066ca617efcd97bc8c Mon Sep 17 00:00:00 2001
From: Matej Kosik <matej.kosik@inria.fr>
Date: Sun, 14 Aug 2016 18:36:30 +0200
Subject: CLEANUP: functions "Context.{Rel,Named}.Context.fold" were renamed to
 "Context.{Rel,Named}.fold_constr"

---
 kernel/term_typing.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'kernel/term_typing.ml')

diff --git a/kernel/term_typing.ml b/kernel/term_typing.ml
index e59a17d12..8db65e33c 100644
--- a/kernel/term_typing.ml
+++ b/kernel/term_typing.ml
@@ -22,6 +22,7 @@ open Entries
 open Typeops
 open Fast_typeops
 
+module RelDecl = Context.Rel.Declaration
 module NamedDecl = Context.Named.Declaration
 
 let constrain_type env j poly subst = function
@@ -251,7 +252,7 @@ let global_vars_set_constant_type env = function
   | RegularArity t -> global_vars_set env t
   | TemplateArity (ctx,_) ->
       Context.Rel.fold_outside
-        (Context.Rel.Declaration.fold
+        (RelDecl.fold_constr
 	  (fun t c -> Id.Set.union (global_vars_set env t) c))
       ctx ~init:Id.Set.empty
 
-- 
cgit v1.2.3