From d651eb9e23a3c9b67c50c847d7ac66965bda475c Mon Sep 17 00:00:00 2001
From: The Miri Conjob Bot <miri@cron.bot>
Date: Tue, 5 Dec 2023 05:09:34 +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 f3492c3eb04..c60249f35e1 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-c9808f87028e16d134438787cab3d4cc16d05fe2
+317d14a56cb8c748bf0e2f2afff89c2249ab4423