diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 7729a184d327..028fcd55e9cf 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -e42c4d7218b2596276152c5eb1e69335621f3086 +f382c2748aec2ada91eff88840c996644ff0f70d