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"

---
 plugins/funind/recdef.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins')

diff --git a/plugins/funind/recdef.ml b/plugins/funind/recdef.ml
index 62f3071151..65f96c8313 100644
--- a/plugins/funind/recdef.ml
+++ b/plugins/funind/recdef.ml
@@ -377,7 +377,7 @@ type journey_info =
 let rec add_vars forbidden e = 
   match kind_of_term e with 
     | Var x -> x::forbidden 
-    | _ -> fold_constr add_vars forbidden e 
+    | _ -> Term.fold_constr add_vars forbidden e
 
 
 let treat_case forbid_new_ids to_intros finalize_tac nb_lam e infos : tactic = 
-- 
cgit v1.2.3