diff options
| author | David Aspinall | 2009-12-01 10:02:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-12-01 10:02:10 +0000 |
| commit | ba2f03865ef50975d5ac2b0261d93fbe4b4eb837 (patch) | |
| tree | c099156d386dc87a7d0d7923c5f3ab4959559a62 /generic/proof-shell.el | |
| parent | aea8b40199426cc6e9be5b56853b7e824be5807f (diff) | |
proof-splice-separator -> mapconcat builtin
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 1 insertions, 2 deletions
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) |