a word

nia-e · nia-e · commit 01edaab1f3cb · 2025-07-08T10:51:30.000+02:00
diff --git a/src/bin/miri.rs b/src/bin/miri.rs
@@ -756,7 +756,7 @@ fn main() {
         #[cfg(target_os = "linux")]
         if unsafe { miri::native_lib::init_sv() }.is_err() {
             eprintln!(
-                "warning: The native-lib tracer could not be started. Is this a Linux system, and does Miri have permissions to ptrace?\n\
+                "warning: The native-lib tracer could not be started. Is this an x86 Linux system, and does Miri have permissions to ptrace?\n\
                 Falling back to non-tracing native-lib mode."
             );
         }

Original file line number	Diff line number	Diff line change
`@@ -756,7 +756,7 @@ fn main() {`
`756`	`756`	`#[cfg(target_os = "linux")]`
`757`	`757`	`if unsafe { miri::native_lib::init_sv() }.is_err() {`
`758`	`758`	`eprintln!(`
`759`		`- "warning: The native-lib tracer could not be started. Is this a Linux system, and does Miri have permissions to ptrace?\n\`
	`759`	`+ "warning: The native-lib tracer could not be started. Is this an x86 Linux system, and does Miri have permissions to ptrace?\n\`
`760`	`760`	`Falling back to non-tracing native-lib mode."`
`761`	`761`	`);`
`762`	`762`	`}`