From 2f19f9b8153bc9665d94cc99372057ecc910696e Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Fri, 9 Oct 2020 20:22:12 -0700
Subject: Modify micromega/ZifyClasses.v to compile with -mangle-names

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

diff --git a/theories/micromega/ZifyClasses.v b/theories/micromega/ZifyClasses.v
index 37eef12381..f6ade67c5f 100644
--- a/theories/micromega/ZifyClasses.v
+++ b/theories/micromega/ZifyClasses.v
@@ -210,7 +210,7 @@ Qed.
 
 Lemma eq_iff : forall (P Q : Prop), P = Q -> (P <-> Q).
 Proof.
-  intros.
+  intros P Q H.
   rewrite H.
   apply iff_refl.
 Defined.
-- 
cgit v1.2.3