Skip to content

Commit 5a0d257

Browse files
authored
tweak message
1 parent 4c2d1be commit 5a0d257

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/tools/miri/src/bin/miri.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -95,8 +95,8 @@ impl rustc_driver::Callbacks for MiriCompilerCalls {
9595
which is to completely disable them. Any optimizations may hide UB that Miri would \
9696
otherwise detect, and it is not necessarily possible to predict what kind of UB will \
9797
be missed. If you are enabling optimizations to make Miri run faster, we advise using \
98-
cfg(miri) to shrink your workload instead. The impact of enabling MIR optimizations is \
99-
usually marginal at best.");
98+
cfg(miri) to shrink your workload instead. The performance benefit of enabling MIR \
99+
optimizations is usually marginal at best.");
100100
}
101101

102102
if let Some(return_code) = miri::eval_entry(tcx, entry_def_id, entry_type, config) {

0 commit comments

Comments
 (0)