diff options
Diffstat (limited to 'cmd/mfmt/main.go')
| -rw-r--r-- | cmd/mfmt/main.go | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cmd/mfmt/main.go b/cmd/mfmt/main.go index c0d2b92..2f204ab 100644 --- a/cmd/mfmt/main.go +++ b/cmd/mfmt/main.go @@ -64,6 +64,7 @@ func mfmt(path string, in io.Reader, out io.Writer) error { fmt.Fprintln(out, "\n\nBEGIN PROOF") formatSection(out, data.Proof) } + fmt.Fprintln(out, "") if outfile { if off, err := f.Seek(0, io.SeekCurrent); err != nil { |