Auto merge of #63922 - RalfJung:miri, r=nikomatsakis

update miri Cc @oli-obk Fixes #63843
rust-lang · Aug 27, 2019 · 53df91a · 53df91a
2 parents 0396aac + 98ad4ac
commit 53df91a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
@@ -1992,6 +1992,7 @@ dependencies = [
  "compiletest_rs",
  "directories",
  "env_logger 0.6.0",
+ "getrandom",
  "hex",
  "log",
  "num-traits",

diff --git a/src/tools/miri b/src/tools/miri