From 1b3f1f6b46acccec6e6f1febea6e7d6552c0a594 Mon Sep 17 00:00:00 2001 From: Ed Page Date: Tue, 6 Jul 2021 09:26:08 -0500 Subject: [PATCH] fix(diff): Handle broken pipe --- src/file.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/file.rs b/src/file.rs index ba482c6..5645522 100644 --- a/src/file.rs +++ b/src/file.rs @@ -236,7 +236,7 @@ impl FileChecker for DiffTypos { 0, ); for line in diff { - print!("{}", line); + write!(std::io::stdout(), "{}", line)?; } }