From ce7a998ba8435c32a92b9545531882f1cba4c6fa Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Thu, 22 Mar 2012 17:45:19 -0400
Subject: [PATCH] correcting white-space: Firefox does not like it

---
 examples/google-maps/test-maps.rkt         | 1 -
 js-assembler/runtime-src/baselib-format.js | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/examples/google-maps/test-maps.rkt b/examples/google-maps/test-maps.rkt
index caf0dee..f2e413e 100644
--- a/examples/google-maps/test-maps.rkt
+++ b/examples/google-maps/test-maps.rkt
@@ -21,7 +21,6 @@
 
 
 
-
 (xexp->dom '(h1 "Google Maps demonstration"))
 
 (big-bang "???"
diff --git a/js-assembler/runtime-src/baselib-format.js b/js-assembler/runtime-src/baselib-format.js
index 350b9fd..f9f91d9 100644
--- a/js-assembler/runtime-src/baselib-format.js
+++ b/js-assembler/runtime-src/baselib-format.js
@@ -389,7 +389,7 @@
 
         if (typeof(x) === 'string') {
             var wrapper = document.createElement("span");
-            wrapper.style["white-space"] = "pre";
+            wrapper.style.whiteSpace = "pre";
             if (params.getMode() === 'write' || params.getMode() === 'print' || params.getMode() === 'constructor') {
                 node = document.createTextNode(toWrittenString(x));
             } else {