From 9b09991de8efaafca705589b7c4a35fbf0ea5b2d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 29 Jan 2021 20:59:53 +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 de0800e83b4..bcb87a70f88 160000
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit de0800e83b4e15cf3c6aa8f15f8328e86a95d955
+Subproject commit bcb87a70f88d5c22d71f4a714178d93ce0c49b02