From 4688a3b9750827eb0f5f61066ca617efcd97bc8c Mon Sep 17 00:00:00 2001 From: Matej Kosik 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/environ.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/environ.ml') diff --git a/kernel/environ.ml b/kernel/environ.ml index 7351a87d4..8a147a659 100644 --- a/kernel/environ.ml +++ b/kernel/environ.ml @@ -416,7 +416,7 @@ let global_vars_set env constr = Id.Set.union (vars_of_global env c) acc | _ -> acc in - fold_constr filtrec acc c + Term.fold_constr filtrec acc c in filtrec Id.Set.empty constr -- cgit v1.2.3