diff options
Diffstat (limited to 'src/print.sml')
| -rw-r--r-- | src/print.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/print.sml b/src/print.sml index 22387090..a1efdb96 100644 --- a/src/print.sml +++ b/src/print.sml @@ -66,7 +66,7 @@ val eprint = fprint err 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 |