diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index ca6f4d50917..3636c856d0b 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -d568423a7a4ddb4b49323d96078a22f94df55fbd +ef15976387ad9c1cdceaabf469e0cf35f5852f6d