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

(limited to 'mathcomp/field')

diff --git a/mathcomp/field/falgebra.v b/mathcomp/field/falgebra.v
index e0ae1b1..ada61bc 100644
--- a/mathcomp/field/falgebra.v
+++ b/mathcomp/field/falgebra.v
@@ -620,8 +620,8 @@ End FalgebraTheory.
 Delimit Scope aspace_scope with AS.
 Bind Scope aspace_scope with aspace.
 Bind Scope aspace_scope with aspace_of.
-Arguments Scope asval [_ _ aspace_scope].
-Arguments Scope clone_aspace [_ _ vspace_scope aspace_scope _ _].
+Arguments asval _ _ _%AS.
+Arguments clone_aspace _ _ _%VS _%AS _ _.
 
 Notation "{ 'aspace' T }" := (aspace_of (Phant T)) : type_scope.
 Notation "A * B" := (prodv A B) : vspace_scope.
-- 
cgit v1.2.3