diff options
Diffstat (limited to 'generic')
| -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 f0a558e4..a32a82fa 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -167,7 +167,7 @@ Initialised in proof-toolbar-setup.") (proof-toolbar-prev-icon "right") (proof-toolbar-goal-icon "goal") (proof-toolbar-qed-icon "qed") - (proof-toolbar-restart-icon "recycle")) + (proof-toolbar-restart-icon "restart")) "List of icon variable names and their associated image files") ;; |