From 40d53fc61a7907c7f08bf37b9ab045ef4a5a1fe9 Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Wed, 21 Feb 2018 23:48:01 -0800
Subject: Change Implicit Arguments to Arguments in field

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

(limited to 'mathcomp/field/countalg.v')

diff --git a/mathcomp/field/countalg.v b/mathcomp/field/countalg.v
index 95d28cb..a6d11b3 100644
--- a/mathcomp/field/countalg.v
+++ b/mathcomp/field/countalg.v
@@ -59,7 +59,7 @@ Definition gen_pack T :=
 
 End Generic.
 
-Implicit Arguments gen_pack [type base_type class_of base_of base_sort].
+Arguments gen_pack [type base_type class_of base_of base_sort].
 Local Notation cnt_ c := (@Countable.Class _ c c).
 Local Notation do_pack pack T := (pack T _ _ id _ _ _ id).
 Import GRing.Theory.
-- 
cgit v1.2.3