From 7649ff839e9ee7ddbb41b53c30a96c5fbf8316d8 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 1 Oct 2010 15:03:27 +0000
Subject: ReFixed bug trac 356.

---
 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 f94cd4a2..f5253cc2 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -852,7 +852,7 @@ Used by `coq-goal-command-p'"
 
 ;; coq-build-opt-regexp-from-db already adds "\\_<" "\\_>"
 (defun proof-regexp-alt-list-symb (args)
-  (concat "\\_<" (proof-regexp-alt-list args) "\\_>"))
+  (concat "\\_<\\(?:" (proof-regexp-alt-list args) "\\)\\_>"))
 
 (defvar coq-keywords-regexp (proof-regexp-alt-list coq-keywords))
 
-- 
cgit v1.2.3