diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index fa15ee59b241..ccc0b55d4dc5 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -5a07626f4b8802d2baa260b76b2e1d0714674efe +873d4682c7d285540b8f28bfe637006cef8918a6