diff options
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index d3bc5bc0..78e60a7c 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -192,7 +192,11 @@ Does nothing if proof assistant is already running." (message (format "Starting %s process..." proc)) ;; Starting the inferior process (asynchronous) - (let ((prog-name-list (proof-string-to-list proof-prog-name " "))) + (let ((prog-name-list (proof-string-to-list + (concat + proof-rsh-command + " " + proof-prog-name) " "))) (apply 'make-comint (append (list proc (car prog-name-list) nil) (cdr prog-name-list)))) ;; To send any initialisation commands to the inferior process, |