diff options
-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 830cdc62..ab756e0b 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -14,7 +14,7 @@ ;; in proof-toolbar-setup. ;; ;; See `proof-toolbar-entries-default' and `<PA>-toolbar-entries' -;; in pg-custom for the default generic toolbar and +;; in pg-custom.el for the default generic toolbar and ;; the per-prover toolbar contents variable. ;; |