diff options
| -rw-r--r-- | generic/proof-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index b5d516d6..0d6b0087 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -27,7 +27,7 @@ (defun proof-regexp-alt (&rest args) "Return the regexp which matches any of the regexps ARGS." - ;; Is this not available in some library? + ;; see regexp-optn (NB: but that is for strings, not regexps) (let ((res "")) (dolist (regexp args) (setq res (concat res (if (string-equal res "") "\\(" "\\|\\(") |