diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 474e7da0000..a7c9d720c0c 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -2a7c2df506fcd5611967a203cc994da5f21abd1e +c07693c1608258f3577eb15057fc0744fa924ae9