diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index b450f9861496..581d1a715b61 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -69fef92ab2f287f072b66fb7b4f62c8bb4acba43 +3ea9ad532474343426e564b997891e459cda89a6