diff --git a/src/driver.rs b/src/driver.rs index 92f83f1a29e3..1b0ea2e769a2 100644 --- a/src/driver.rs +++ b/src/driver.rs @@ -248,7 +248,7 @@ You can use tool lints to allow or deny lints from your code, eg.: pub fn main() { rustc_driver::init_rustc_env_logger(); exit( - rustc_driver::report_ices_to_stderr_if_any(move || { + rustc_driver::catch_fatal_errors(move || { use std::env; if std::env::args().any(|a| a == "--version" || a == "-V") {