From a699a1431420383b5e65de7db63a81b1cad67ae1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 29 Sep 2010 12:20:11 +0000 Subject: Support proof-shell-init-cmd being a list --- generic/proof-shell.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/generic/proof-shell.el b/generic/proof-shell.el index daf7db09..445107b7 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1758,7 +1758,7 @@ processing." (run-hooks 'proof-shell-init-hook) (when proof-shell-init-cmd (if (listp proof-shell-init-cmd) - (mapcar 'proof-shell-invisible-command-invisible-result + (mapc 'proof-shell-invisible-command-invisible-result proof-shell-init-cmd) (proof-shell-invisible-command-invisible-result proof-shell-init-cmd))) -- cgit v1.2.3