diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 53ec1ba0821b..d65aa65a7b83 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c4e0cd966062ca67daed20775f4e8a60c28e57df +04e957578c77c95a0505f5818d0068b459f673e3