Update miri submodule

oli-obk · oli-obk · commit d50e401d96f0 · 2018-10-23T21:16:02.000+02:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit bbb1d80703f272a5592ceeb3832a489776512251
+Subproject commit c20e7333c6047fe8c11fce7fa2041e9174748bb9
