From 7c866487f8ab0dd9b9c73bee013c18805a0c4489 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 25 Aug 2009 13:57:56 -0400
Subject: grid1 compiles but gets stuck in JS

---
 src/core_print.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/core_print.sml')

diff --git a/src/core_print.sml b/src/core_print.sml
index 5daf7137..84b247a2 100644
--- a/src/core_print.sml
+++ b/src/core_print.sml
@@ -427,6 +427,7 @@ fun p_exp' par env (e, _) =
                                     string x,
                                     space,
                                     string ":",
+                                    space,
                                     p_con env t,
                                     space,
                                     string "=",
-- 
cgit v1.2.3