diff --git a/src/tools/miri/src/bin/miri.rs b/src/tools/miri/src/bin/miri.rs index 4e692365a8c5..4bf51f83c4f7 100644 --- a/src/tools/miri/src/bin/miri.rs +++ b/src/tools/miri/src/bin/miri.rs @@ -181,7 +181,7 @@ fn make_miri_codegen_backend(opts: &Options, target: &Target) -> Box