From b2aec5a2c4e4c19affb99dfa2b6d8b3bc812fcf0 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 8 Jun 2002 09:59:29 +0000
Subject: Clean up span.el loading

---
 generic/proof-shell.el | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'generic/proof-shell.el')

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,
-- 
cgit v1.2.3