about summary refs log tree commit diff
diff options
context:
space:
mode:
authorStypox <stypox@pm.me>2025-07-22 18:42:11 +0200
committerStypox <stypox@pm.me>2025-07-25 09:22:20 +0200
commitc7b81f38f8f5dee79be0fbddfba551eea3f98bf8 (patch)
treeabd04bcc8f8c4f0e35b5a4fcbeb3498f5da58eea
parent00de833b60b6198f092901e1b2f6a10e6f3a89da (diff)
downloadrust-c7b81f38f8f5dee79be0fbddfba551eea3f98bf8.tar.gz
rust-c7b81f38f8f5dee79be0fbddfba551eea3f98bf8.zip
Fix double "fatal error: " in message
-rw-r--r--src/tools/miri/src/bin/log/setup.rs2
1 files changed, 1 insertions, 1 deletions
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"
                 );
             }