# HG changeset patch # User Adam Chlipala # Date 1224442418 14400 # Node ID 49c95753bf3b1e869276bf873b1e257ea2858d77 # Parent aa2edbd47041b679d6e2de4add41dafcd6c1acf0 Small demo prettifications diff -r aa2edbd47041 -r 49c95753bf3b src/demo.sml --- a/src/demo.sml Sun Oct 19 14:51:12 2008 -0400 +++ b/src/demo.sml Sun Oct 19 14:53:38 2008 -0400 @@ -112,7 +112,7 @@ file = out} val out = TextIO.openOut out - val () = (TextIO.output (out, "\n"); + val () = (TextIO.output (out, "\n"); TextIO.output (out, " (TextIO.output (out, line); loop ()) in - TextIO.output (out, "\n"); - TextIO.output (out, file); - TextIO.output (out, "\n\n

"); - TextIO.output (out, file); - TextIO.output (out, "

\n\n

");
+                                             TextIO.output (out, "\n\n");
                                              loop ();
                                              TextIO.output (out, "\n\n");