diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 38f153f78d02..75c7934d6280 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -4c4205163abcbd08948b3efab796c543ba1ea687 +6f109d8a2da2fe8d0fbfc52178300c033737b218