CREF loader not needed after all.

diff --git a/v7/src/etc/optiondb.scm b/v7/src/etc/optiondb.scm
index 727740a6dbdb825bc9f9cbbf8f03e80b9524cece..04b7309632da704e484727d45ff54fd1875eedeb 100644 (file)
--- 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"))