diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 632c0845ec0..721d6df0f11 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -5aad51d015b8d3f6d823a6bf9dbc8ae3b9fd10c5 +5ac0b2d0219de2fd6fef86c69ef0cfa1e6c36f3b