diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 024cbd285207..596e757d3fcc 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -cb79c42008b970269f6a06b257e5f04b93f24d03 +a0c97e3255e2b9140f131baec1c93eef57640d21