diff options
| -rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index e9c2e707..d4bfb137 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -10,6 +10,8 @@ (require 'font-lock) (require 'proof-config) +;; 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" |