From 79685e0611dff650b8185f5531c4da40840c1a08 Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 22 Feb 2007 17:07:50 +0000
Subject: Échange des mots clés 'using' et 'with' en argument de 'firstorder'
 (wish #1375)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9672 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/first-order/g_ground.ml4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/first-order/g_ground.ml4 b/contrib/first-order/g_ground.ml4
index 39ab02cc14..975acc1c80 100644
--- a/contrib/first-order/g_ground.ml4
+++ b/contrib/first-order/g_ground.ml4
@@ -97,9 +97,9 @@ let normalize_evaluables=
 	   (Tacexpr.InHypType id)) *)
 
 TACTIC EXTEND firstorder
-    [ "firstorder" tactic_opt(t) "with" ne_reference_list(l) ] -> 
+    [ "firstorder" tactic_opt(t) "using" ne_reference_list(l) ] -> 
       [ gen_ground_tac true (option_map eval_tactic t) (Ids l) ]
-|   [ "firstorder" tactic_opt(t) "using" ne_preident_list(l) ] -> 
+|   [ "firstorder" tactic_opt(t) "with" ne_preident_list(l) ] -> 
       [ gen_ground_tac true (option_map eval_tactic t) (Bases l) ]
 |   [ "firstorder" tactic_opt(t) ] -> 
       [ gen_ground_tac true (option_map eval_tactic t) Void ]
-- 
cgit v1.2.3