diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 52f98965ec1f..30123b92f6ca 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -b08dd92552d663e3c877c8e5ce859e212205a09f +656ee47db32e882fb02913f6204e09cc7a41a50e