diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2015-03-13 14:50:05 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2015-03-13 14:50:05 +0000 |
commit | 4a343580d9072457f9a77cf5b661b1d84491a52d (patch) | |
tree | e25a5314bedff0177d8a93fd225ff01440667d06 /generic | |
parent | 0a9060a2654c5b18518e25c4d2a3165c75533781 (diff) |
Summary: Compile warning on speedbar-add-supported-extension
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 |