diff options
Diffstat (limited to 'generic/proof-syntax.el')
| -rw-r--r-- | generic/proof-syntax.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index fd6a746f..07591a06 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -24,9 +24,10 @@ "Return the regexp which matches any of the regexps ARGS." ;; Is this not available in some library? (let ((res "")) - (dolist (regexp args res) + (dolist (regexp args) (setq res (concat res (if (string-equal res "") "\\(" "\\|\\(") - regexp "\\)"))))) + regexp "\\)"))) + res)) (defun proof-regexp-region (start end) "Return regexp matching START anything over several lines END." |