From 8053375521352f7f428151e23e314671d646e75d Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 12 Jan 2010 22:11:27 +0000
Subject: g_decl_mode: 'by' is now a keyword

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

diff --git a/parsing/g_decl_mode.ml4 b/parsing/g_decl_mode.ml4
index f37d1e758d..e73e54e7f5 100644
--- a/parsing/g_decl_mode.ml4
+++ b/parsing/g_decl_mode.ml4
@@ -54,8 +54,8 @@ GLOBAL: proof_instr;
     ];
   justification_items :
     [[ -> Some []
-     | IDENT "by"; l=LIST1 constr SEP "," -> Some l
-     | IDENT "by"; "*"                    -> None ]]
+     | "by"; l=LIST1 constr SEP "," -> Some l
+     | "by"; "*"                    -> None ]]
   ;
   justification_method :
     [[ -> None
-- 
cgit v1.2.3