From 7b198e9f1d345d6b3ce547ee3138b6d247c5675e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Dec 2009 01:31:31 +0000
Subject: fix proof-splice-separator

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

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

diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el
index 35904ad0..a261af2f 100644
--- a/generic/proof-syntax.el
+++ b/generic/proof-syntax.el
@@ -269,13 +269,11 @@ Any other %-prefixed character inserts itself."
 ;;;###autoload
 (defun proof-splice-separator (sep strings)
   "Splice SEP into list of STRINGS, ignoring nil entries."
-  (let (stringsep)
+  (let (stringsep nextsep)
     (while strings
       (when (car strings) ; suppress nils
-	(setq stringsep (concat stringsep (car strings)))
-	(if (and (cdr strings) (cadr strings))
-	    (setq stringsep
-		  (concat stringsep sep))))
+	(setq stringsep (concat stringsep nextsep (car strings)))
+	(setq nextsep sep))
       (setq strings (cdr strings)))
     stringsep))
 
-- 
cgit v1.2.3