From 2525c33691e25f837b7dca31d4c702199b3dbc5d Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Sun, 4 Mar 2018 16:57:06 -0800
Subject: Change deprecated Arguments Scope to Arguments

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

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

diff --git a/mathcomp/algebra/vector.v b/mathcomp/algebra/vector.v
index 73354bf..a2346a2 100644
--- a/mathcomp/algebra/vector.v
+++ b/mathcomp/algebra/vector.v
@@ -245,7 +245,7 @@ Definition f2mx (f : 'Hom(aT, rT)) := let: Hom A := f in A.
 Canonical hom_subType := [newType for f2mx].
 End Hom.
 
-Arguments Scope mx2vs [_ _ nat_scope matrix_set_scope].
+Arguments mx2vs _ _ _%N _%MS.
 Prenex Implicits v2r r2v v2rK r2vK b2mx vs2mx vs2mxK f2mx.
 
 End InternalTheory.
-- 
cgit v1.2.3