diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 78181976df80..9967665a52bd 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -4c7749e8c8e50ad146da599eea3a250160c1bc2b +1553adfe6884a8f6c28f5a673d3e605535ee0113