diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 5e10427d171..474e7da0000 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -3d575a2f2ef8a6eb99064bb31c16feb8d508f1ee +2a7c2df506fcd5611967a203cc994da5f21abd1e