From 6439f68b3c4dbb7b2e40664f4a93ceac150e3863 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 16 Oct 2000 18:16:24 +0000
Subject: [PATCH] CREF loader not needed after all.

---
 v7/src/etc/optiondb.scm | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/v7/src/etc/optiondb.scm b/v7/src/etc/optiondb.scm
index 727740a6d..04b730963 100644
--- a/v7/src/etc/optiondb.scm
+++ b/v7/src/etc/optiondb.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: optiondb.scm,v 1.1 2000/10/16 18:00:55 cph Exp $
+$Id: optiondb.scm,v 1.2 2000/10/16 18:16:24 cph Exp $
 
 Copyright (c) 2000 Massachusetts Institute of Technology
 
@@ -40,9 +40,6 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
 		       ((test "load") "load")
 		       (else (error "Can't find loader.")))))))))))
 
-(define-load-option 'CREF
-  (guarded-system-loader '(cross-reference) "cref"))
-
 (define-load-option 'SOS
   (guarded-system-loader '(runtime object-system) "sos"))
 
-- 
2.25.1