From 7e56e773de74891291eb242f89a07d9c60a80949 Mon Sep 17 00:00:00 2001
From: DrMeepster <19316085+DrMeepster@users.noreply.github.com>
Date: Wed, 19 Oct 2022 23:06:01 -0700
Subject: [PATCH] change rust version to fix CI

---
 src/tools/miri/rust-version | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index f94611f0d416..0a3daa2d0864 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-a24a020e6d926dffe6b472fc647978f92269504e
+edabf59ca4646b3fc1a961c26431215001043f6a