From fc6e4af9635348a15b1c0c8aab78a1d83f4f1b18 Mon Sep 17 00:00:00 2001
From: hyd-dev <yd-huang@outlook.com>
Date: Sat, 29 May 2021 08:52:58 +0800
Subject: [PATCH] Update Miri

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

diff --git a/src/tools/miri b/src/tools/miri
index 62046bf8b4e..4fa9363ebba 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 62046bf8b4eadd4fb398d59f1eebcc140506bf85
+Subproject commit 4fa9363ebba236f7c29ae11180db6051d7d2ce3b