From 391272c73ab0c1ae8be0779dba46dee0ef0c488f Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Sun, 20 Jul 2008 19:02:09 +0000
Subject: [PATCH] fixed a bug in preference unmarshalling

svn: r10844
---
 collects/lang/htdp-langs.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/lang/htdp-langs.ss b/collects/lang/htdp-langs.ss
index aad56c8467..d9dcd2f4e5 100644
--- 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?