From 94efd6ebfba06d94ee5fdedbe13ea386b658ab46 Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Sun, 26 Jul 2020 16:46:31 -0700
Subject: Be robust to a change in the default argument naming algorithm.

Overlay for coq/coq#12756, which changes the default argument name to
just `S` from `S0`. This change preserves the old name; switching instead
to use `S` may be preferable but introduces a potential impact on
downstream users of mathcomp.
---
 mathcomp/algebra/poly.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/algebra/poly.v b/mathcomp/algebra/poly.v
index d21e690..e83bc09 100644
--- a/mathcomp/algebra/poly.v
+++ b/mathcomp/algebra/poly.v
@@ -1700,7 +1700,7 @@ Arguments rootP {R p x}.
 Arguments rootPf {R p x}.
 Arguments rootPt {R p x}.
 Arguments unity_rootP {R n z}.
-Arguments polyOverP {R S0 addS kS p}.
+Arguments polyOverP {R S0 addS kS p} : rename.
 Arguments polyC_inj {R} [x1 x2] eq_x12P.
 Arguments eq_poly {R n} [E1] E2 eq_E12.
 
-- 
cgit v1.2.3