diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 0af6b8c6fc79..adf3f7389c68 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -32cd9114712a24010b0583624dc52ac302194128 +9c3064e131f4939cc95a29bb11413c49bbda1491