diff options
| author | David Aspinall | 1998-11-03 14:39:16 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 14:39:16 +0000 |
| commit | 178af15dde9d6feed372016294914b0713db32b3 (patch) | |
| tree | ca553da401371fb6e66ff8c1c60ea648e929fcc5 | |
| parent | a2e1abd11d9b13044bdc44078b3f1b5b221f5be0 (diff) | |
added FIXME note on maybe using regexp-opt
| -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" |