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/odd_order/PFsection4.v | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'mathcomp/odd_order/PFsection4.v')

diff --git a/mathcomp/odd_order/PFsection4.v b/mathcomp/odd_order/PFsection4.v
index 2be2adb..3cdff96 100644
--- a/mathcomp/odd_order/PFsection4.v
+++ b/mathcomp/odd_order/PFsection4.v
@@ -148,8 +148,7 @@ Definition primeTI_hypothesis (L K W W1 W2 : {set gT}) of W1 \x W2 = W :=
 
 End Four_1_to_2.
 
-Arguments Scope primeTI_hypothesis
-  [_ group_scope group_scope group_scope _ group_scope group_scope].
+Arguments primeTI_hypothesis _ _%g _%g _%g _ _%g _%g.
 
 Section Four_3_to_5.
 
-- 
cgit v1.2.3