From f5977cdd56082e9d197166731e8d6cd0f0f28d1b Mon Sep 17 00:00:00 2001
From: hyd-dev <yd-huang@outlook.com>
Date: Thu, 3 Jun 2021 16:59:29 +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 453affaaa17..5dde0fe6de2 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 453affaaa1762a065d2857970b8333017211208c
+Subproject commit 5dde0fe6de2941c9ef16bc1e9d91ecf20ac5ee8b
-- 
GitLab