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"

---
 tactics/tactics.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tactics')

diff --git a/tactics/tactics.ml b/tactics/tactics.ml
index d8c2411934..7ee45523f5 100644
--- a/tactics/tactics.ml
+++ b/tactics/tactics.ml
@@ -3470,8 +3470,8 @@ let ids_of_constr ?(all=false) vars c =
 	      Array.fold_left_from
 		(if all then 0 else mib.Declarations.mind_nparams)
 		aux vars args
-	| _ -> fold_constr aux vars c)
-    | _ -> fold_constr aux vars c
+	| _ -> Term.fold_constr aux vars c)
+    | _ -> Term.fold_constr aux vars c
   in aux vars c
 
 let decompose_indapp f args =
-- 
cgit v1.2.3