From 56f018fbcf5ee07eee3a0a463084446fef52415c Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 31 May 2012 09:03:23 +0000
Subject: Fix of a bug. coq id can start with underscore.

---
 coq/coq-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 27e4668e..ff62785d 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -901,7 +901,7 @@ It is used:
   "A regexp indicating that the Coq process has identified an error.")
 
 (defvar coq-id proof-id)
-(defvar coq-id-shy "\\(?:\\w\\(?:\\w\\|\\s_\\)*\\)")
+(defvar coq-id-shy "\\(?:\\w\\|\\s_\\)+")
 
 ; do not use proof-ids with a space separator! 
 (defvar coq-ids (concat proof-id "\\(" "\\s-+" proof-id "\\)*"))
-- 
cgit v1.2.3