diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index ee815ae6f8fc..918c738ed1fe 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -33c3d101280c8eb3cd8af421bfb56a8afcc3881d +37998ab508d5d9fa0d465d7b535dc673087dda8f