aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-menu.el
diff options
context:
space:
mode:
authorGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2017-02-25 19:06:26 -0500
committerGravatar Clément Pit--Claudel <clement.pitclaudel@live.com>2017-03-08 15:06:17 -0500
commit33614d35a25b54c23171c360a61b913f0c1158ce (patch)
treeb01a2717d7a59088c9688582bafbc9ac21793498 /generic/proof-menu.el
parent70dfbc54d9a6b559dbfcfd6105a7e8c80d78d888 (diff)
Fix incorrect uses of defvar
It didn't really matter that these variables were defined and set to nil during compilation, since we ran compilation in a clean Emacs in --batch mode; it does matter now, however, since package.el compiles PG in the user's currently running Emacs instance.
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r--generic/proof-menu.el16
1 files changed, 3 insertions, 13 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index df617347..f029afcb 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -10,23 +10,13 @@
(require 'cl) ; mapcan
;;; Code:
-(eval-when (compile)
- (defvar proof-assistant-menu nil) ; defined by macro in proof-menu-define-specific
- (defvar proof-mode-map nil))
-
-(require 'proof-utils) ; proof-deftoggle, proof-eval-when-ready-for-assistant
-(require 'proof-useropts)
-(require 'proof-config)
-
-
-
-
-
(eval-when-compile
(defvar proof-assistant-menu) ; defined by macro in proof-menu-define-specific
(defvar proof-mode-map))
-
+(require 'proof-utils) ; proof-deftoggle, proof-eval-when-ready-for-assistant
+(require 'proof-useropts)
+(require 'proof-config)
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;;