diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 8d038c0f788..0f738653b14 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -76e7a0849c07d73e4d9afde8036ee8c450127cc8 +565cadb514d35e7b851540edbc172af0f606014f