diff --git a/rust-version b/rust-version index 57d0b27dfd..50710f5526 100644 --- a/rust-version +++ b/rust-version @@ -1 +1 @@ -728f2daab42ba8f1b3d5caab62495798d1eabfa1 +1b3fb316751227d30b1523ed0e3f00d83956d4d0 diff --git a/src/bin/miri.rs b/src/bin/miri.rs index 2c4b02e287..5248c9d186 100644 --- a/src/bin/miri.rs +++ b/src/bin/miri.rs @@ -290,7 +290,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) }