From 4f0703eaabbe80d3624721982a7ab50254616b4a Mon Sep 17 00:00:00 2001
From: Frédéric Besson
Date: Tue, 7 Jan 2020 17:06:22 +0100
Subject: [zify] elim let in ML

---
 plugins/micromega/Zify.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/micromega/Zify.v')

diff --git a/plugins/micromega/Zify.v b/plugins/micromega/Zify.v
index 785a53fafa..18cd196148 100644
--- a/plugins/micromega/Zify.v
+++ b/plugins/micromega/Zify.v
@@ -87,4 +87,4 @@ Ltac applySpec S :=
 (** [zify_post_hook] is there to be redefined. *)
 Ltac zify_post_hook := idtac.
 
-Ltac zify := zify_op ; (iter_specs applySpec) ; zify_post_hook.
+Ltac zify := zify_op ; (zify_iter_specs applySpec) ; zify_post_hook.
-- 
cgit v1.2.3