diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 30ba3070e1f4..2ef8d717d548 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -d1d8e386c5e84c4ba857f56c3291f73c27e2d62a +255aa220821c05c3eac7605fce4ea1c9ab2cbdb4