update miri

Dylan-DPC-zz · Mar 4, 2020 · faf3a5e · faf3a5e
1 parent 0a6f45e
commit faf3a5e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Cargo.lock b/Cargo.lock
@@ -2156,6 +2156,7 @@ dependencies = [
  "rustc-workspace-hack",
  "rustc_version",
  "serde",
+ "serde_json",
  "shell-escape",
  "vergen",
 ]

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