From 610869d3db9f101718d39a4530ab7b84e4c054c2 Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 10 Jun 2003 21:19:02 +0000
Subject: freshid -> fresh

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4127 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_ltacnew.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'parsing/g_ltacnew.ml4')

diff --git a/parsing/g_ltacnew.ml4 b/parsing/g_ltacnew.ml4
index 2414afe23..986e6b058 100644
--- a/parsing/g_ltacnew.ml4
+++ b/parsing/g_ltacnew.ml4
@@ -119,7 +119,7 @@ GEXTEND Gram
 	  TacArg(ConstrMayEval (ConstrContext (id,c)))
       | IDENT "check"; c = Constr.lconstr ->
 	  TacArg(ConstrMayEval (ConstrTypeOf c))
-      | IDENT "freshid"; s = OPT STRING ->
+      | IDENT "fresh"; s = OPT STRING ->
 	  TacArg (TacFreshId s)
       | "'"; c = Constr.constr -> TacArg(ConstrMayEval(ConstrTerm c))
       | r = reference; la = LIST1 tactic_arg ->
-- 
cgit v1.2.3