From 559e4951953f9139cfd6fb4c614882ab99232676 Mon Sep 17 00:00:00 2001 From: Jake Vossen Date: Wed, 16 Mar 2022 10:18:51 -0600 Subject: [PATCH] missing backtick on miri-isolation warning help --- src/diagnostics.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/diagnostics.rs b/src/diagnostics.rs index 3bf8c7bc17bb..1ccf3c5dba73 100644 --- a/src/diagnostics.rs +++ b/src/diagnostics.rs @@ -150,7 +150,7 @@ pub fn report_error<'tcx, 'mir>( UnsupportedInIsolation(_) => vec![ (None, format!("pass the flag `-Zmiri-disable-isolation` to disable isolation;")), - (None, format!("or pass `-Zmiri-isolation-error=warn to configure Miri to return an error code from isolated operations (if supported for that operation) and continue with a warning")), + (None, format!("or pass `-Zmiri-isolation-error=warn` to configure Miri to return an error code from isolated operations (if supported for that operation) and continue with a warning")), ], ExperimentalUb { url, .. } => vec![