From de5ec958ab9f3b391a8101fa0150d942392f7432 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sat, 30 Apr 2005 05:09:55 +0000
Subject: [PATCH] Guarantee canonicalized symbols when loading files.

---
 v7/src/etc/optiondb.scm | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/v7/src/etc/optiondb.scm b/v7/src/etc/optiondb.scm
index 05540f92e..bf6908a15 100644
--- a/v7/src/etc/optiondb.scm
+++ b/v7/src/etc/optiondb.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: optiondb.scm,v 1.13 2004/11/01 19:22:29 cph Exp $
+$Id: optiondb.scm,v 1.14 2005/04/30 05:09:55 cph Exp $
 
 Copyright 2000,2001,2002,2004 Massachusetts Institute of Technology
 
@@ -64,7 +64,9 @@ USA.
 				  (pathname-as-directory directory)))
 				(with-working-directory-pathname directory
 				  (lambda ()
-				    (load (car files))))
+				    (fluid-let
+					((*parser-canonicalize-symbols?* #t))
+				      (load (car files)))))
 				(file-loop (cdr files)))
 			    (dir-loop (cdr dirs))))
 		      (dir-loop (cdr dirs))))
-- 
2.25.1