diff options
-rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |