From dd4fef0cd95ba90ea6e1a13f054e2b66f36772ff Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 22 Mar 2020 20:09:14 +0100
Subject: [PATCH] fix outdated sysroot help message

---
 src/diagnostics.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/diagnostics.rs b/src/diagnostics.rs
index c46ff5354dec..1008c0468464 100644
--- a/src/diagnostics.rs
+++ b/src/diagnostics.rs
@@ -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(_)) =>