Update miri submodule

oli-obk · oli-obk · commit 2d1d014b1849 · 2018-10-31T10:38:17.000+01:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit bbb1d80703f272a5592ceeb3832a489776512251
+Subproject commit c20e7333c6047fe8c11fce7fa2041e9174748bb9
