diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-02-25 19:06:26 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-03-08 15:06:17 -0500 |
| commit | 33614d35a25b54c23171c360a61b913f0c1158ce (patch) | |
| tree | b01a2717d7a59088c9688582bafbc9ac21793498 /lib | |
| parent | 70dfbc54d9a6b559dbfcfd6105a7e8c80d78d888 (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 'lib')
| -rw-r--r-- | lib/holes.el | 4 | ||||
| -rw-r--r-- | lib/proof-compat.el | 4 |
2 files changed, 2 insertions, 6 deletions
diff --git a/lib/holes.el b/lib/holes.el index 09eb9dde..c0a864b0 100644 --- a/lib/holes.el +++ b/lib/holes.el @@ -30,9 +30,7 @@ ;; ;; See documentation of `holes-mode'. - -(eval-when-compile - (require 'span)) +(require 'span) (require 'cl) ;;; Code: diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 1816ed0e..4eb942cb 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -17,9 +17,7 @@ ;; Since Proof General 4.0, XEmacs is not supported at all. ;; -(eval-when-compile - (require 'easymenu)) - +(require 'easymenu) (require 'cl) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |