diff options
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index 1807f691..1acc62e5 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -100,7 +100,7 @@ to the default toolbar." (unless proof-toolbar-map (setq proof-toolbar-map (make-sparse-keymap)) (add-to-list 'image-load-path proof-images-directory) ; rude? - (mapcar 'proof-toolbar-make-icon (proof-ass toolbar-entries)) + (mapc 'proof-toolbar-make-icon (proof-ass toolbar-entries)) (proof-toolbar-make-toolbar-items proof-toolbar-map (proof-ass toolbar-entries))) (when proof-toolbar-enable |