From 82634ffb0e3e1dc276b0d18f6fddc06712917d91 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 29 Oct 2020 21:33:37 +0100
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 88da6757d7fe7..6359b1b0eb724 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 88da6757d7fe75c853767e4615a6255e9466b67a
+Subproject commit 6359b1b0eb724f2432fd4776c3fc5f5cad9e67d0