diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index e51d39de3c1b..a79511cea30a 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -f889772d6500faebcac5bb70fa44b5e6581c38cd +47611e16044c68ef27bac31c35fda2ba1dc20b73