Mercurial > urweb

diff src/elab_print.sml @ 110:3739af9e727a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Starting with closure links
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Jul 2008 11:43:57 -0400
parents 813e5a52063d
children e3041657d653
line wrap: on
line diff
--- a/src/elab_print.sml	Sun Jul 13 10:17:06 2008 -0400
+++ b/src/elab_print.sml	Sun Jul 13 11:43:57 2008 -0400
@@ -451,6 +451,7 @@
                                      space,
                                      p_con env c2]
       | DExport (_, sgn, str) => box [string "export",
+                                      space,
                                       p_str env str,
                                       space,
                                       string ":",