diff options
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) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |