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