proof-prog-name: use isabelle-command-line;

1 files changed, 1 insertions, 1 deletions

diff --git a/isa/isa.el b/isa/isa.el
index 48418438..642dcc13 100644
--- a/isa/isa.el
+++ b/isa/isa.el
@@ -543,7 +543,7 @@ you will be asked to retract the file or process the remainder of it."
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (defun isa-pre-shell-start ()
-  (setq proof-prog-name		isabelle-prog-name)
+  (setq proof-prog-name		(isabelle-command-line))
   (setq proof-mode-for-shell    'isa-shell-mode)
   (setq proof-mode-for-goals	'isa-goals-mode)
   (setq proof-mode-for-response 'isa-response-mode))