diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 29f34da77eb7..cf6d9c280804 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -3b1c8a94a4e8a6ba8bc7b39cc3580db9e5b72295 +c54c8cbac882e149e04a9e1f2d146fd548ae30ae