diff options
| author | Ralf Jung <post@ralfj.de> | 2020-03-04 11:03:08 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2020-03-04 11:03:08 +0100 |
| commit | faf3a5ea72eab113232b79d4ad4bab6a11513780 (patch) | |
| tree | 3868ddc6e33cd5ef320a1f9ae01905247f1c990d | |
| parent | 0a6f45e2e5057fa47c4687edb493e9ce02a5db9a (diff) | |
| download | rust-faf3a5ea72eab113232b79d4ad4bab6a11513780.tar.gz rust-faf3a5ea72eab113232b79d4ad4bab6a11513780.zip | |
update miri
| -rw-r--r-- | Cargo.lock | 1 | ||||
| m--------- | src/tools/miri | 16 |
2 files changed, 10 insertions, 7 deletions
diff --git a/Cargo.lock b/Cargo.lock index f639095fae7..5fe55d82767 100644 --- 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 -Subproject 3c444bf6a6cff3b9014005f21cc44995b34862c +Subproject 974c8be95ec17cd986251d7700cd432a3957693 |