diff options
Diffstat (limited to 'generic')
-rw-r--r-- | generic/pg-user.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index e7575ef9..f0358239 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -922,6 +922,7 @@ If CALLBACK is set, we invoke that when the command completes." ;; Imenu and Speedbar ;; +(declare-function speedbar-add-supported-extension "speedbar") (eval-after-load "speedbar" '(and proof-assistant-symbol ;; *should* be set by now (speedbar-add-supported-extension |