From 357333320819a6eed427669b4d583c6fdfeeaedd Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 26 Oct 2020 12:44:41 +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 1b3a27c4298..88da6757d7f 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 1b3a27c4298ebed55851657934483366a02abc3b
+Subproject commit 88da6757d7fe75c853767e4615a6255e9466b67a