From 37d2b52528f077fcfe708f9b5dd77a1b4edac908 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Mar 2000 05:34:23 +0000
Subject: Fix to uses of dolist for compatibility with Japan Emacs versions
 (older CLmacs)

---
 generic/proof-syntax.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'generic/proof-syntax.el')

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."
-- 
cgit v1.2.3