From 19f9b3e774db1dedca149675f022d65cdeab7e6c Mon Sep 17 00:00:00 2001
From: Jasper Hugunin
Date: Wed, 21 Feb 2018 22:41:00 -0800
Subject: Change Implicit Arguments to Arguments in ssreflect

---
 mathcomp/ssreflect/tuple.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mathcomp/ssreflect/tuple.v')

diff --git a/mathcomp/ssreflect/tuple.v b/mathcomp/ssreflect/tuple.v
index 7023bb4..e06bd38 100644
--- a/mathcomp/ssreflect/tuple.v
+++ b/mathcomp/ssreflect/tuple.v
@@ -266,8 +266,8 @@ Proof. by rewrite -existsb_tnth; apply: existsP. Qed.
 
 End TupleQuantifiers.
 
-Implicit Arguments all_tnthP [n T a t].
-Implicit Arguments has_tnthP [n T a t].
+Arguments all_tnthP [n T a t].
+Arguments has_tnthP [n T a t].
 
 Section EqTuple.
 
-- 
cgit v1.2.3