diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 0f738653b14a..7f8fd86b5614 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -565cadb514d35e7b851540edbc172af0f606014f +fa1681c9f6a66f0240c46c98bfef6209c9d6df23