From ff0910a435934480af0174f4b5034ca233dbbcca Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 28 Nov 2025 10:37:52 +0100 Subject: [PATCH] clippy --- src/tools/miri/src/bin/miri.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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