diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index e1a6084b22ed..58ec4e10856d 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -72d73cec61aa8f85901358cd5d386d5dd066fe52 +a526d7ce45fd2284e0e7c7556ccba2425b9d25e5