diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 01580139be9de..22a6a297259d9 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -b54dd08a84f3c07efbc2aaf63c3df219ae680a03 +9cdfe285ca724c801dc9f78d22b24ea69b787f26