From 5c69eb442ac6b007854462066c38c3ec2556e311 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 11 Dec 2020 18:41:48 +0100
Subject: Use the Evarutil cache for Class_tactics.evar_dependencies.

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

diff --git a/tactics/class_tactics.ml b/tactics/class_tactics.ml
index 9e66e8668f..d93501eea6 100644
--- a/tactics/class_tactics.ml
+++ b/tactics/class_tactics.ml
@@ -1014,10 +1014,11 @@ let deps_of_constraints cstrs evm p =
     cstrs
 
 let evar_dependencies pred evm p =
+  let cache = Evarutil.create_undefined_evars_cache () in
   Evd.fold_undefined
     (fun ev evi _ ->
       if Evd.is_typeclass_evar evm ev && pred evm ev evi then
-        let evars = Evar.Set.add ev (Evarutil.undefined_evars_of_evar_info evm evi)
+        let evars = Evar.Set.add ev (Evarutil.filtered_undefined_evars_of_evar_info ~cache evm evi)
         in Intpart.union_set evars p
       else ())
     evm ()
-- 
cgit v1.2.3