diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index d394ab5a7ae..6e0092308fa 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -71ef9ecbdedb67c32f074884f503f8e582855c2f +53ac4f8e2fc15e49ef3a04f98622a9b9db755fd4