diff options
Diffstat (limited to 'coq/coq-db.el')
| -rw-r--r-- | coq/coq-db.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-db.el b/coq/coq-db.el index a91fb3c9..53ea970f 100644 --- a/coq/coq-db.el +++ b/coq/coq-db.el @@ -119,7 +119,7 @@ regexp. See `coq-syntax-db' for DB structure." (setq l tl))) ; da: next call is wrong? ; (proof-ids-to-regexp res))) - (proof-regexp-alt-list res))) + (concat "\\_<\\(?:" (proof-regexp-alt-list res) "\\)\\_>"))) ;; Computes the max length of strings in a list |