diff options
| author | bors <bors@rust-lang.org> | 2019-10-15 11:23:12 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-10-15 11:23:12 +0000 |
| commit | 437ca55f23b7ed0051334a7e38ecabd83a173b53 (patch) | |
| tree | c04726d2ee7fcf526b8127bf0cc1902e5cf72a17 | |
| parent | e369d87b015a84653343032833d65d0545fd3f26 (diff) | |
| parent | 4977e319a442bc928031729b4534e6a416965a45 (diff) | |
| download | rust-437ca55f23b7ed0051334a7e38ecabd83a173b53.tar.gz rust-437ca55f23b7ed0051334a7e38ecabd83a173b53.zip | |
Auto merge of #65412 - RalfJung:miri, r=RalfJung
update miri Fixes https://github.com/rust-lang/rust/issues/65356.
| -rw-r--r-- | Cargo.lock | 4 | ||||
| m--------- | src/tools/miri | 16 |
2 files changed, 10 insertions, 10 deletions
diff --git a/Cargo.lock b/Cargo.lock index 844320fff3f..6d40b198927 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -556,9 +556,9 @@ dependencies = [ [[package]] name = "compiletest_rs" -version = "0.3.23" +version = "0.3.24" source = "registry+https://github.com/rust-lang/crates.io-index" -checksum = "eb783fe7afb90ec3d3e49ccaf9196d29ab63c6ed61d4b0695839daa580ae3a3d" +checksum = "676a74b493d50ac33cacd83fd536597e6b52c0b46b9856f7b9c809d82fef4ac0" dependencies = [ "diff", "filetime", diff --git a/src/tools/miri b/src/tools/miri -Subproject 07ac10277ea5ad42efbb914da5844e0ab08efbf +Subproject 2adc39f27b7fd2d06b3d1d470827928766731a1 |