From eab38dfe00d99bca183b7744823f8614d04e5304 Mon Sep 17 00:00:00 2001 From: Vytautas Astrauskas Date: Sun, 19 Apr 2020 14:01:56 -0700 Subject: [PATCH] Change the warning message. --- src/shims/thread.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/shims/thread.rs b/src/shims/thread.rs index ccdf6df3f9d6..077da0b1a19d 100644 --- a/src/shims/thread.rs +++ b/src/shims/thread.rs @@ -14,7 +14,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx let this = self.eval_context_mut(); this.tcx.sess.warn( - "The thread support is experimental. \ + "thread support is experimental. \ For example, Miri does not detect data races yet.", );