From 49366044d05b351706d132685d1862f37af57dff Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Fri, 9 Aug 2024 19:19:58 +0200 Subject: Add a newfile to the end of files --- cmd/mfmt/main.go | 1 + 1 file changed, 1 insertion(+) (limited to 'cmd') 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 { -- cgit v1.2.3