flush each output line

giellalt · Feb 23, 2024 · 994a107 · 994a107
1 parent bbd14b4
commit 994a107
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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__":