update Miri

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