diff options
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 777d3858..cdc38775 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -25,9 +25,9 @@ (defsubst proof-ids-to-regexp (l) "Maps a non-empty list of tokens L to a regexp matching any element. Uses a regexp of the form \\_<...\\_>." - (concat "\\_<\\(?:" + (concat "\\_<" (regexp-opt l) ; was: (mapconcat 'identity l "\\|") - "\\)\\_>")) + "\\_>")) (defsubst proof-anchor-regexp (e) "Anchor (\\`) and group the regexp E." |