Update miri submodule

oli-obk · oli-obk · commit 0f6b5b0423fe · 2017-12-06T15:12:49.000+01:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit dd630a2a263105f104b82dd53a1b9b90d4206a3d
+Subproject commit eccf680b5d191bb39ef2fc5ae51bf3909c312bbe
