From e697a1ee04e201b90bab3783b40f52841ef12fc0 Mon Sep 17 00:00:00 2001
From: amahboub
Date: Fri, 31 Oct 2008 07:16:52 +0000
Subject: allowed patternidents starting with an '_'

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

diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4
index ba128be5f3..26377013f0 100644
--- a/parsing/lexer.ml4
+++ b/parsing/lexer.ml4
@@ -387,7 +387,7 @@ let parse_after_dot bp c =
 (* Parse what follows a question mark *)
 let parse_after_qmark bp s =
   match Stream.peek s with
-    |Some ('a'..'z' | 'A'..'Z') -> ("LEFTQMARK", "")
+    |Some ('a'..'z' | 'A'..'Z' | '_') -> ("LEFTQMARK", "")
     |None -> ("","?")
     | _ ->
 	match lookup_utf8 s with
-- 
cgit v1.2.3