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/ssreflect/bigop.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mathcomp/ssreflect')

diff --git a/mathcomp/ssreflect/bigop.v b/mathcomp/ssreflect/bigop.v
index 53a933a..6d18825 100644
--- a/mathcomp/ssreflect/bigop.v
+++ b/mathcomp/ssreflect/bigop.v
@@ -1662,8 +1662,8 @@ Arguments big_enum_val [R idx op I A] F.
 Arguments big_enum_rank [R idx op I A x] xA F.
 Arguments pair_big_dep [R idx op I J].
 Arguments pair_big [R idx op I J].
-Arguments big_allpairs_dep [R idx op I1 I2 J h r1 r2 F].
-Arguments big_allpairs [R idx op I1 I2 r1 r2 F].
+Arguments big_allpairs_dep {R idx op I1 I2 J h r1 r2 F}.
+Arguments big_allpairs {R idx op I1 I2 r1 r2 F}.
 Arguments exchange_big_dep [R idx op I J rI rJ P Q] xQ [F].
 Arguments exchange_big_dep_nat [R idx op m1 n1 m2 n2 P Q] xQ [F].
 Arguments big_ord_recl [R idx op].
-- 
cgit v1.2.3