From aada2d16892ed411d9f6d22b3b9dcfcf47977647 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 20 Nov 2022 07:48:21 +0100
Subject: Preparing for merge from rustc

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

(limited to 'src')

diff --git a/src/tools/miri/rust-version b/src/tools/miri/rust-version
index d3e139e4651..d007f952a67 100644
--- a/src/tools/miri/rust-version
+++ b/src/tools/miri/rust-version
@@ -1 +1 @@
-2f8d8040166a730d0da7bba0f2864f0ef7ff6364
+7477c1f4f7d6bef037d523099b240d22aa1b63a0
-- 
cgit 1.4.1-3-g733a5