Update the miri submodule

oli-obk · oli-obk · commit 5f85e022e7b9 · 2018-06-30T16:10:39.000+02:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e1734470e780e05a3366a2f74cfa25ea88a518a5
+Subproject commit 9143a69f4b3ef4bda77afddefe934be363e39f31
