update miri

RalfJung · RalfJung · commit 7474845748f1 · 2019-02-17T11:59:52.000+01:00
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit a9505a8fb89ece7fa514cf3c70f1ada3e39baeec
+Subproject commit 3b834667fdf365ec827df02fc2f945853e7e9b7d
