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"

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

(limited to 'proofs')

diff --git a/proofs/logic.ml b/proofs/logic.ml
index 19f5f5d3f7..e12fe5d70a 100644
--- a/proofs/logic.ml
+++ b/proofs/logic.ml
@@ -297,9 +297,9 @@ let collect_meta_variables c =
   let rec collrec deep acc c = match kind_of_term c with
     | Meta mv -> if deep then error_unsupported_deep_meta () else mv::acc
     | Cast(c,_,_) -> collrec deep acc c
-    | (App _| Case _) -> fold_constr (collrec deep) acc c
+    | (App _| Case _) -> Term.fold_constr (collrec deep) acc c
     | Proj (_, c) -> collrec deep acc c
-    | _ -> fold_constr (collrec true) acc c
+    | _ -> Term.fold_constr (collrec true) acc c
   in
   List.rev (collrec false [] c)
 
-- 
cgit v1.2.3