diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 0a6b9417cc2e..8dd18ae98e6d 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -cef44f53034eac46be3a0e3eec7b2b3d4ef5140b +203c8765ea33c65d888febe0e8219c4bb11b0d89