From af28716f190813e6adb82018401aa99c075f6f22 Mon Sep 17 00:00:00 2001
From: The Miri Cronjob Bot <miri@cron.bot>
Date: Wed, 17 Apr 2024 04:57:09 +0000
Subject: [PATCH] Preparing for merge from rustc

---
 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 dfa7f8ca5074..bd87405da3d6 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-63f70b3d104e20289a1a0df82747066c3d85b9a1
+803e33a4460c82581bd01d4008d0f44aef1ddfe8