diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-09-29 12:20:11 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-29 12:20:11 +0000 |
commit | a699a1431420383b5e65de7db63a81b1cad67ae1 (patch) | |
tree | cada49695c70b2d5d210a17e33f60a17afad929d /generic/proof-shell.el | |
parent | c4ec51bc48097bb0b8947b7ac7d78a8b4de4a6f2 (diff) |
Support proof-shell-init-cmd being a list
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
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))) |