diff options
| author | David Aspinall | 2000-03-08 05:34:23 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-08 05:34:23 +0000 |
| commit | 37d2b52528f077fcfe708f9b5dd77a1b4edac908 (patch) | |
| tree | 81e492178a4271ee6292ebeaa411edd5a6b57615 /generic/proof-syntax.el | |
| parent | 1c874544ecdc2d23c8a31fe322f1b7cc4e78185a (diff) | |
Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)
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." |