diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-08-09 19:19:58 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-08-09 19:19:58 +0200 |
| commit | 49366044d05b351706d132685d1862f37af57dff (patch) | |
| tree | 03f5c21016888954edc929a3bb1db2152cbc6afb /cmd | |
| parent | 0f604fbedb093ca0c83bc85a3b0fb3504224258a (diff) | |
Add a newfile to the end of files
Diffstat (limited to 'cmd')
| -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 { |