Update the miri submodule

oli-obk · oli-obk · commit e9b6355607d8 · 2018-05-31T10:22:45.000+02:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit 6a4c62c1673c3dabcc9a0c99018bd08fec46fda7
+Subproject commit 49ca1746482e3c8221d8e8c7161b7d92ae076c8f
