From 4a343580d9072457f9a77cf5b661b1d84491a52d Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 13 Mar 2015 14:50:05 +0000 Subject: Summary: Compile warning on speedbar-add-supported-extension --- generic/pg-user.el | 1 + 1 file changed, 1 insertion(+) (limited to 'generic') 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 -- cgit v1.2.3