From 64ceb784611e5ded0c715835a36490de1c3bb1ca Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Wed, 21 Feb 2018 23:27:04 -0800
Subject: Change Implicit Arguments to Arguments in algebra

---
 mathcomp/algebra/mxpoly.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp/algebra/mxpoly.v')

diff --git a/mathcomp/algebra/mxpoly.v b/mathcomp/algebra/mxpoly.v
index 4d043ea..5f83ab0 100644
--- a/mathcomp/algebra/mxpoly.v
+++ b/mathcomp/algebra/mxpoly.v
@@ -115,7 +115,7 @@ Canonical rVpoly_linear := Linear rVpoly_is_linear.
 
 End RowPoly.
 
-Implicit Arguments poly_rV [R d].
+Arguments poly_rV [R d].
 Prenex Implicits rVpoly poly_rV.
 
 Section Resultant.
-- 
cgit v1.2.3