avoid unnecessary indirection in miri-track-raw-pointers warning

diff --git a/src/bin/miri.rs b/src/bin/miri.rs
index a56b4bc6d1b4e62c39442a8d8187694245220c95..1ccc54d6be1969dea950fd46207d5c1acdd8455e 100644 (file)
--- a/src/bin/miri.rs
+++ b/src/bin/miri.rs
@@ -385,7 +385,7 @@ fn main() {
             miri_config.mute_stdout_stderr = true;
         } else if arg == "-Zmiri-track-raw-pointers" {
             eprintln!(
-                "WARNING: -Zmiri-track-raw-pointers has been renamed to -Zmiri-tag-raw-pointers, the old name is deprecated."
+                "WARNING: `-Zmiri-track-raw-pointers` has no effect; it is enabled by default"
             );
         } else if let Some(param) = arg.strip_prefix("-Zmiri-seed=") {
             if miri_config.seed.is_some() {