Remove duplicate abstraction.

`A` is abstracted over as a section parameter; there is no need to duplicate that. Adds compatibility with coq/coq#8820.
fblanqui · Oct 26, 2018 · 87af8e9 · 87af8e9
1 parent f647085
commit 87af8e9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Util/FMap/FMapUtil.v b/Util/FMap/FMapUtil.v
@@ -46,7 +46,7 @@ Module Make (Export XMap : FMapInterface.S).
 
     Proof. fo. Qed.
 
-    Global Instance Equiv_m A : Proper (same ==> same) (@Equiv A).
+    Global Instance Equiv_m : Proper (same ==> same) (@Equiv A).
 
     Proof. fo. Qed.