diff options
| author | Enrico Tassi | 2020-08-20 17:35:40 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-20 17:35:40 +0200 |
| commit | 24b1070f8aa8b3fec997380313c9387309644181 (patch) | |
| tree | 9b2069f39fe650e92a13148c81a9b8d3958fb13d /mathcomp | |
| parent | 4483643abc825566a687c9b3db859e65133f1e57 (diff) | |
| parent | 94efd6ebfba06d94ee5fdedbe13ea386b658ab46 (diff) | |
Merge pull request #550 from jashug/dont-refresh-argument-names-overlay
Be robust to a change in the default argument naming algorithm.
Diffstat (limited to 'mathcomp')
| -rw-r--r-- | mathcomp/algebra/poly.v | 2 |
1 files changed, 1 insertions, 1 deletions
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. |