update miri submodule

oli-obk · oli-obk · commit 360f9888bc14 · 2018-11-24T11:36:32.000+01:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 06758c48bd7a77bb5aa43fc50cf344540ba5afef
+Subproject commit dd7f545a69e4b720407e458bf4ade0b207bbf9ee
