diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version index 716b690daaa9..d577448dfb31 100644 --- a/src/tools/miri/rust-version +++ b/src/tools/miri/rust-version @@ -1 +1 @@ -fca59ab5f0e7df7d816bed77a32abc0045ebe80b \ No newline at end of file +8e7fd551311d424e4e63fa45906a2a928fce96a7