From faa2b32bac7454bcec366d9790b6f14331e297b0 Mon Sep 17 00:00:00 2001
From: SimonBoulier
Date: Mon, 6 Jan 2020 12:02:47 +0100
Subject: Adapt to coq/coq#11368 (Turn trailing implicit warning into an error)

---
 mathcomp/fingroup/fingroup.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mathcomp/fingroup')

diff --git a/mathcomp/fingroup/fingroup.v b/mathcomp/fingroup/fingroup.v
index 699a1ba..b90b35a 100644
--- a/mathcomp/fingroup/fingroup.v
+++ b/mathcomp/fingroup/fingroup.v
@@ -1839,8 +1839,8 @@ Arguments trivgP {gT G}.
 Arguments trivGP {gT G}.
 Arguments lcoset_eqP {gT G x y}.
 Arguments rcoset_eqP {gT G x y}.
-Arguments mulGidPl [gT G H].
-Arguments mulGidPr [gT G H].
+Arguments mulGidPl {gT G H}.
+Arguments mulGidPr {gT G H}.
 Arguments comm_group_setP {gT G H}.
 Arguments class_eqP {gT G x y}.
 Arguments repr_classesP {gT G xG}.
-- 
cgit v1.2.3