fixed a bug in preference unmarshalling

svn: r10844
2008-07-20 19:02:09 +00:00 · 2008-07-20 19:02:09 +00:00 · 391272c73a
commit 391272c73a
parent 258c569afe
1 changed files with 1 additions and 1 deletions
--- a/collects/lang/htdp-langs.ss
+++ b/collects/lang/htdp-langs.ss
@ -148,7 +148,7 @@
            (and (list? l)
                 (andmap (λ (x)
                           (and (list? x)
-                                (andmap string? x)))
+                                (andmap (λ (x) (or (string? x) (symbol? x))) x)))
                         l)))
          
          (inherit get-allow-sharing? get-use-function-output-syntax?