From 59d99ebd3f6f9e14e2e018140bedbac50be4518a Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Mon, 24 Aug 2020 16:05:18 -0700
Subject: Modify Setoids/Setoid.v to compile with -mangle-names

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

diff --git a/theories/Setoids/Setoid.v b/theories/Setoids/Setoid.v
index b10c4f3768..cec1033fdf 100644
--- a/theories/Setoids/Setoid.v
+++ b/theories/Setoids/Setoid.v
@@ -33,7 +33,7 @@ Defined.
 
 Definition Seq_trans A Aeq (s : Setoid_Theory A Aeq) : forall x y z:A, Aeq x y -> Aeq y z -> Aeq x z.
 Proof.
-  unfold Setoid_Theory in s. intros ; transitivity y ; assumption.
+  unfold Setoid_Theory in s. intros x y z H0 H1 ; transitivity y ; assumption.
 Defined.
 
 (** Some tactics for manipulating Setoid Theory not officially
-- 
cgit v1.2.3