diff --git a/src/main.rs b/src/main.rs
index 1cbee59..e112217 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -5,6 +5,7 @@ pub mod source;
 pub mod typing;
 
 use std::default::Default;
+use std::io::Write as _;
 use std::path::PathBuf;
 
 use clap::{Parser as ClapParser, Subcommand};
@@ -77,6 +78,7 @@ fn check(modules: &mut Vec<Module>, source_cache: &mut SourceCache) {
                     .to_report(module)
                     .eprint(&mut *source_cache)
                     .expect("cannot write error to stderr");
+                std::io::stderr().write_all("\n".as_bytes()).unwrap();
             }
         }
     }