update miri

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