From c0bd5544c6c7dcdef9ddd005c952ea5acf68603b Mon Sep 17 00:00:00 2001 From: Stefan Monnier Date: Fri, 29 Jun 2012 16:23:50 +0000 Subject: * generic/pg-user.el (which-func-modes): Fix compiler declaration. * generic/proof-site.el (assistants): Fix regexp. --- generic/pg-user.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'generic/pg-user.el') diff --git a/generic/pg-user.el b/generic/pg-user.el index 15db8478..3ff06579 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -23,9 +23,9 @@ (require 'proof-script) ; we build on proof-script (require 'cl) -(eval-when (compile) - (require 'completion) ; loaded dynamically at runtime - (defvar which-func-modes nil)) ; defined by which-func +(eval-when-compile + (require 'completion)) ; Loaded dynamically at runtime. +(defvar which-func-modes) ; Defined by which-func. (declare-function proof-segment-up-to "proof-script") (declare-function proof-interrupt-process "proof-shell") -- cgit v1.2.3