diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-18 09:57:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-18 09:57:19 +0000 |
commit | ee27105fbdb260d80fbb1cef1c275a6fa13d3df5 (patch) | |
tree | 4fb84b9ba8aa616a163016ff3448ec83d34883f3 /generic/proof-syntax.el | |
parent | a4140dadd9931388b567fbb5bd2003f14641dea0 (diff) |
Note
Diffstat (limited to 'generic/proof-syntax.el')
-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 "") "\\(" "\\|\\(") |