diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-syntax.el | 5 | ||||
-rw-r--r-- | generic/texi-docstring-magic.el | 2 |
2 files changed, 4 insertions, 3 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." diff --git a/generic/texi-docstring-magic.el b/generic/texi-docstring-magic.el index a474a812..f9c660f2 100644 --- a/generic/texi-docstring-magic.el +++ b/generic/texi-docstring-magic.el @@ -191,7 +191,7 @@ including any whitespace included to delimit matches.") "Markup DOCSTRING for texi according to regexp matches." (let ((case-fold-search nil)) (setq docstring (texi-docstring-magic-untabify docstring)) - (dolist (test texi-docstring-magic-munge-table docstring) + (dolist (test texi-docstring-magic-munge-table) (let ((regexp (nth 0 test)) (predicate (nth 1 test)) (replace (nth 2 test)) |