diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index d4bffe5f9454..73f922b31748 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -eb62877597000ccf8bb99ab131b5977344afdfa3 +1cb63572d271855a5ccef79a3e10a8015d00f6ad