diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index f877706520ea..f4bdbbff8ea7 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -36e4f5d1fe1d63953a5bf1758ce2b64172623e2e +235a4c083eb2a2bfe8779d211c3232f39396de00