diff options
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index adaae507..ae851a01 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -10,6 +10,7 @@ ;; (require 'proof-menu) +(require 'span) ;; Nuke some byte compiler warnings. @@ -17,10 +18,6 @@ (require 'comint) (require 'font-lock)) -;; Spans are our abstraction of extents/overlays. -(eval-and-compile - (cond ((fboundp 'make-extent) (require 'span-extent)) - ((fboundp 'make-overlay) (require 'span-overlay)))) ;; FIXME: ;; Autoloads for proof-script (added to nuke warnings, |