Fix double "fatal error: " in message

Stypox · Stypox · commit c7b81f38f8f5 · 2025-07-25T09:22:20.000+02:00
diff --git 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"
                 );
             }
 

Original file line number	Diff line number	Diff line change
`@@ -60,7 +60,7 @@ fn init_logger_once(early_dcx: &EarlyDiagCtxt) {`
`60`	`60`	`#[cfg(not(feature = "tracing"))]`
`61`	`61`	`{`
`62`	`62`	`crate::fatal_error!(`
`63`		`- "fatal error: cannot enable MIRI_TRACING since Miri was not built with the \"tracing\" feature"`
	`63`	`+ "Cannot enable MIRI_TRACING since Miri was not built with the \"tracing\" feature"`
`64`	`64`	`);`
`65`	`65`	`}`
`66`	`66`