diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 0d405f532fcd..e548b44d8c2c 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -2f0ad2a71e4a4528bb80bcb24bf8fa4e50cb87c2 +2f348cb7ce4063fa4eb40038e6ada3c5214717bd