Revert "Update miri submodule"

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