From 047a2f193646e08db526768dca8376b7270eecb5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 1 Nov 2008 21:19:43 -0400
Subject: Almost have that nested save function compiling

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

(limited to 'src/expl_print.sml')

diff --git a/src/expl_print.sml b/src/expl_print.sml
index b19a6eff..aecc3a84 100644
--- a/src/expl_print.sml
+++ b/src/expl_print.sml
@@ -370,6 +370,7 @@ fun p_exp' par env (e, loc) =
                                     string x,
                                     space,
                                     string ":",
+                                    space,
                                     p_con env t,
                                     space,
                                     string "=",
-- 
cgit v1.2.3