From 0607553d6fa256312630373bf3ee191bfa741421 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 16 Oct 2000 17:56:29 +0000
Subject: [PATCH] Add option for CREF.

---
 v7/dist/optiondb.scm | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/v7/dist/optiondb.scm b/v7/dist/optiondb.scm
index e431865f5..0785e690c 100644
--- a/v7/dist/optiondb.scm
+++ b/v7/dist/optiondb.scm
@@ -21,6 +21,9 @@
 		       ((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