diff options
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) |