1 files changed, 3 insertions, 0 deletions

diff --git a/main.c b/main.c
index a42d2c1..89e0b18 100644
--- a/main.c
+++ b/main.c
@@ -57,5 +57,8 @@ main(int argc, char *argv[])
 		emittentativedefns();
 	}
 
+	fflush(stdout);
+	if (ferror(stdout))
+		fatal("write failed");
 	return 0;
 }