From c7b81f38f8f5dee79be0fbddfba551eea3f98bf8 Mon Sep 17 00:00:00 2001 From: Stypox Date: Tue, 22 Jul 2025 18:42:11 +0200 Subject: Fix double "fatal error: " in message --- src/tools/miri/src/bin/log/setup.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tools/miri/src/bin/log/setup.rs b/src/tools/miri/src/bin/log/setup.rs index da0ba528b2c..a9392d010f8 100644 --- a/src/tools/miri/src/bin/log/setup.rs +++ b/src/tools/miri/src/bin/log/setup.rs @@ -60,7 +60,7 @@ fn init_logger_once(early_dcx: &EarlyDiagCtxt) { #[cfg(not(feature = "tracing"))] { crate::fatal_error!( - "fatal error: cannot enable MIRI_TRACING since Miri was not built with the \"tracing\" feature" + "Cannot enable MIRI_TRACING since Miri was not built with the \"tracing\" feature" ); } -- cgit 1.4.1-3-g733a5