]> git.lizzy.rs Git - rust.git/commitdiff
fix outdated sysroot help message
authorRalf Jung <post@ralfj.de>
Sun, 22 Mar 2020 19:09:14 +0000 (20:09 +0100)
committerRalf Jung <post@ralfj.de>
Sun, 22 Mar 2020 19:09:14 +0000 (20:09 +0100)
src/diagnostics.rs

index c46ff5354dec3c749bb1fc0fb8ba0ca3b33b16b0..1008c04684644ecb1904f71111e6ac3fec8029a1 100644 (file)
@@ -58,7 +58,7 @@ pub fn report_error<'tcx, 'mir>(
             };
             let help = match e.kind {
                 Unsupported(UnsupportedOpInfo::NoMirFor(..)) =>
-                    Some("set `MIRI_SYSROOT` to a Miri sysroot, which you can prepare with `cargo miri setup`"),
+                    Some("make sure to use a Miri sysroot, which you can prepare with `cargo miri setup`"),
                 Unsupported(_) =>
                     Some("this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support"),
                 UndefinedBehavior(UndefinedBehaviorInfo::UbExperimental(_)) =>