1 files changed, 1 insertions, 1 deletions
diff --git a/tactics/auto.ml b/tactics/auto.ml
index afb8121e8..d743135a2 100644
--- a/tactics/auto.ml
+++ b/tactics/auto.ml
@@ -1037,7 +1037,7 @@ let auto_unif_flags = {
   resolve_evars = true;
   use_pattern_unification = false;
   use_meta_bound_pattern_unification = true;
-  frozen_evars = ExistentialSet.empty;
+  frozen_evars = Evar.Set.empty;
   restrict_conv_on_strict_subterms = false; (* Compat *)
   modulo_betaiota = false;
   modulo_eta = true;