Mercurial > urweb

diff src/print.sml @ 5:258261a53842

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Elaborating files
author Adam Chlipala <adamc@hcoop.net>
date Sat, 26 Jan 2008 16:02:47 -0500
parents daa4f1d7a663
children bbe5899a9585
line wrap: on
line diff
--- a/src/print.sml	Sat Jan 26 15:29:09 2008 -0500
+++ b/src/print.sml	Sat Jan 26 16:02:47 2008 -0500
@@ -66,7 +66,7 @@
 
 fun fpreface f (s, d) =
     fprint f (PD.hovBox (PD.PPS.Rel 0,
-		         [PD.string s, PD.space 1, d]))
+		         [PD.string s, PD.space 1, d, PD.newline]))
 
 val preface = fpreface out
 val epreface = fpreface err