From ba2f03865ef50975d5ac2b0261d93fbe4b4eb837 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 1 Dec 2009 10:02:10 +0000
Subject: proof-splice-separator -> mapconcat builtin

---
 generic/proof-shell.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 71099176..4a6f0bcf 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -236,8 +236,7 @@ process command."
 		  (append (split-string proof-rsh-command)
 			  prog-name-list1)
 		prog-name-list1))
-	     (prog-command-line
-	      (proof-splice-separator " " prog-name-list))
+	     (prog-command-line (mapconcat 'identity prog-name-list " "))
 
 	     (process-connection-type
 	      proof-shell-process-connection-type)
-- 
cgit v1.2.3