Guarantee canonicalized symbols when loading files.

diff --git a/v7/src/etc/optiondb.scm b/v7/src/etc/optiondb.scm
index 05540f92eabf03fcf2e27ebf5330ee1e9f6165dc..bf6908a15f00e7934ed31136172940ad91e0e9d3 100644 (file)
--- 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))))