fix(diff): Handle broken pipe

This commit is contained in:
Ed Page 2021-07-06 09:26:08 -05:00
parent 26ad06e961
commit 1b3f1f6b46

View file

@ -236,7 +236,7 @@ impl FileChecker for DiffTypos {
0, 0,
); );
for line in diff { for line in diff {
print!("{}", line); write!(std::io::stdout(), "{}", line)?;
} }
} }