diff --git a/scripts/correct_typos.py b/scripts/correct_typos.py index 64040bed..e2414613 100644 --- a/scripts/correct_typos.py +++ b/scripts/correct_typos.py @@ -31,7 +31,7 @@ def main(): line = line.strip() if not line: continue - print(corrections.get(line, line)) + print(corrections.get(line, line), flush=True) if __name__ == "__main__":