From 22d06f9754cfa63c1ed557dd4901034ebccb38d2 Mon Sep 17 00:00:00 2001
From: DrMeepster <19316085+DrMeepster@users.noreply.github.com>
Date: Tue, 18 Oct 2022 16:37:30 -0700
Subject: [PATCH] update rust version

---
 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 21e9d5a05df8..f94611f0d416 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-538f118da1409759ba198acc0ff62070bc6d2dce
+a24a020e6d926dffe6b472fc647978f92269504e