2 files changed, 0 insertions, 1 deletions

diff --git a/apps/print-file b/apps/print-file
index 48a12cf3..c9719a45 100755
--- a/apps/print-file
+++ b/apps/print-file
Binary files differdiff --git a/apps/print-file.mu b/apps/print-file.mu
index 29b122a9..c44e09d1 100644
--- a/apps/print-file.mu
+++ b/apps/print-file.mu
@@ -36,6 +36,5 @@ $main-body: {
       }
     }
   }
-  flush-stdout
   exit-status <- copy 0
 }