Update miri submodule

oli-obk · oli-obk · commit 3d7040bdef50 · 2019-09-09T14:56:08.000+02:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e479ab26406ed8a473987e5f4a1f3be3e978e5d2
+Subproject commit dd94c7c5a32be2ee0adeeaf9d46f26f14925797c
