diff --git a/src/bin/miri.rs b/src/bin/miri.rs index 1e0e31f01a..3376b5b739 100644 --- a/src/bin/miri.rs +++ b/src/bin/miri.rs @@ -289,7 +289,8 @@ fn run_compiler( let exit_code = rustc_driver::catch_with_exit_code(move || { rustc_driver::RunCompiler::new(&args, callbacks) .set_using_internal_features(using_internal_features) - .run() + .run(); + Ok(()) }); std::process::exit(exit_code) }