diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2010-10-01 15:03:27 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2010-10-01 15:03:27 +0000 |
| commit | 7649ff839e9ee7ddbb41b53c30a96c5fbf8316d8 (patch) | |
| tree | d9744f635a9e477381bc83827966bf28a51c3fbc /coq/coq-syntax.el | |
| parent | 342cfc06ed72296b971b4ea00f6635b3a88ef329 (diff) | |
ReFixed bug trac 356.
Diffstat (limited to 'coq/coq-syntax.el')
| -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)) |