update miri

RalfJung · RalfJung · commit f86c4766ea66 · 2018-08-26T13:49:16.000+02:00
diff --git a/src/Cargo.lock b/src/Cargo.lock
@@ -1252,9 +1252,7 @@ dependencies = [
  "colored 1.6.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "compiletest_rs 0.3.13 (registry+https://github.com/rust-lang/crates.io-index)",
  "env_logger 0.5.12 (registry+https://github.com/rust-lang/crates.io-index)",
- "lazy_static 1.1.0 (registry+https://github.com/rust-lang/crates.io-index)",
  "log 0.4.4 (registry+https://github.com/rust-lang/crates.io-index)",
- "regex 1.0.4 (registry+https://github.com/rust-lang/crates.io-index)",
 ]
 
 [[package]]
diff --git a/src/tools/miri b/src/tools/miri
@@ -1 +1 @@
-Subproject commit e6f1e15676c26fdc7c4713647fe007b26f361a8e
+Subproject commit 1b41b7182727801b186dfc03284356af6b0afd89

Original file line number	Diff line number	Diff line change
`@@ -1252,9 +1252,7 @@ dependencies = [`
`1252`	`1252`	`"colored 1.6.0 (registry+https://github.com/rust-lang/crates.io-index)",`
`1253`	`1253`	`"compiletest_rs 0.3.13 (registry+https://github.com/rust-lang/crates.io-index)",`
`1254`	`1254`	`"env_logger 0.5.12 (registry+https://github.com/rust-lang/crates.io-index)",`
`1255`		`- "lazy_static 1.1.0 (registry+https://github.com/rust-lang/crates.io-index)",`
`1256`	`1255`	`"log 0.4.4 (registry+https://github.com/rust-lang/crates.io-index)",`
`1257`		`- "regex 1.0.4 (registry+https://github.com/rust-lang/crates.io-index)",`
`1258`	`1256`	`]`
`1259`	`1257`
`1260`	`1258`	`[[package]]`