diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index 7867526f26d..8efa1a6864d 100644
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -16,6 +16,7 @@ impl<'a> CompilerCalls<'a> for MiriCompilerCalls {
         control.after_analysis.stop = Compilation::Stop;
 
         control.after_analysis.callback = Box::new(|state| {
+            state.session.abort_if_errors();
             interpreter::interpret_start_points(state.tcx.unwrap(), state.mir_map.unwrap());
         });