diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-syntax.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index f5c7668b..6f887f9a 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -13,8 +13,7 @@ ;; FIXME da: would regexp-opt be better here? Or maybe ;; (concat "\\<" (regexp-opt l) "\\>") (defun proof-ids-to-regexp (l) - "transforms a non-empty list of identifiers `l' into a regular - expression matching any of its elements" + "Maps a non-empty list of tokens `l' to a regexp matching any element" (mapconcat (lambda (s) (concat "\\<" s "\\>")) l "\\|")) (defun proof-anchor-regexp (e) |