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

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

diff --git a/mathcomp/ssreflect/path.v b/mathcomp/ssreflect/path.v
index 4f3beb4..e649cbe 100644
--- a/mathcomp/ssreflect/path.v
+++ b/mathcomp/ssreflect/path.v
@@ -159,7 +159,7 @@ Qed.
 
 End Paths.
 
-Implicit Arguments pathP [T e x p].
+Arguments pathP [T e x p].
 Prenex Implicits pathP.
 
 Section EqPath.
@@ -687,9 +687,9 @@ Qed.
 
 End EqTrajectory.
 
-Implicit Arguments fpathP [T f x p].
-Implicit Arguments loopingP [T f x n].
-Implicit Arguments trajectP [T f x n y].
+Arguments fpathP [T f x p].
+Arguments loopingP [T f x n].
+Arguments trajectP [T f x n y].
 Prenex Implicits traject fpathP loopingP trajectP.
 
 Section UniqCycle.
-- 
cgit v1.2.3