Skip to content
Permalink
Browse files

bump Miri

  • Loading branch information...
RalfJung committed Sep 29, 2019
1 parent f3c8eba commit 17fa7fe77e73a7fa9a544d77de2f33b068df705f
Showing with 1 addition and 23 deletions.
  1. +0 −22 Cargo.lock
  2. +1 −1 src/tools/miri
@@ -566,7 +566,6 @@ dependencies = [
"serde_derive",
"serde_json",
"tempfile",
"tester",
"winapi 0.3.6",
]

@@ -4323,16 +4322,6 @@ dependencies = [
"std",
]

[[package]]
name = "term"
version = "0.4.6"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "fa63644f74ce96fbeb9b794f66aff2a52d601cbd5e80f4b97123e3899f4570f1"
dependencies = [
"kernel32-sys",
"winapi 0.2.8",
]

[[package]]
name = "term"
version = "0.6.0"
@@ -4389,17 +4378,6 @@ dependencies = [
"term 0.0.0",
]

[[package]]
name = "tester"
version = "0.5.0"
source = "registry+https://github.com/rust-lang/crates.io-index"
checksum = "5e812cb26c597f86a49b26dbb58b878bd2a2b4b93fc069dc39499228fe556ff6"
dependencies = [
"getopts",
"libc",
"term 0.4.6",
]

[[package]]
name = "textwrap"
version = "0.11.0"

0 comments on commit 17fa7fe

Please sign in to comment.
You can’t perform that action at this time.