diff src/mono_print.sml @ 129:78d59cf0a0cc

Compiled (non-mutual) 'val rec'
author Adam Chlipala <adamc@hcoop.net>
date Thu, 17 Jul 2008 11:02:10 -0400
parents 76a4d69719d8
children f0d3402184d1
line wrap: on
line diff
--- a/src/mono_print.sml	Thu Jul 17 10:48:25 2008 -0400
+++ b/src/mono_print.sml	Thu Jul 17 11:02:10 2008 -0400
@@ -183,6 +183,7 @@
                                    p_enamed env n,
                                    space,
                                    string "as",
+                                   space,
                                    string s,
                                    p_list_sep (string "") (fn t => box [space,
                                                                         string "(",