diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 6e25d8deaf25..5e581cb38e5e 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -c8c4c83d57d3b4cf72a7306cd77bb8b5c0f03434 +281c97c3240a9abd984ca0c6a2cd7389115e80d5