update Miri

[rust.git] / src / tools / miri

diff --git a/src/tools/miri b/src/tools/miri
index 8e818ffa1b85f4e740c4096fd38c62b2b73f4d83..16c69fd2901b49148bff6f24292e7fc98967d7f1 160000 (submodule)
--- a/src/tools/miri
+++ b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 8e818ffa1b85f4e740c4096fd38c62b2b73f4d83
+Subproject commit 16c69fd2901b49148bff6f24292e7fc98967d7f1