update Miri

diff --git a/src/tools/miri b/src/tools/miri
index b5ddc94bf02c641e5acbb08ae742014f40347f10..b269bb07078446c9c153e0f2acaf83bf8f19b935 160000 (submodule)
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit b5ddc94bf02c641e5acbb08ae742014f40347f10
+Subproject commit b269bb07078446c9c153e0f2acaf83bf8f19b935