From e031aaf7d7412884315c08e64816fa43ce8794ca Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 13 Aug 2011 11:15:15 +0000
Subject: New fix for is_ident_not_keyword.

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

diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4
index 6073860c0d..e351061dcd 100644
--- a/parsing/lexer.ml4
+++ b/parsing/lexer.ml4
@@ -627,9 +627,7 @@ END
 (** Terminal symbols interpretation *)
 
 let is_ident_not_keyword s =
-  match s.[0] with
-    | 'a'..'z' | 'A'..'Z' | '_' -> is_ident s && not (is_keyword s)
-    | _ -> false
+  is_ident s && not (is_keyword s)
 
 let is_number s =
   let rec aux i =
-- 
cgit v1.2.3