diff options
| -rw-r--r-- | Cargo.lock | 1 | ||||
| m--------- | src/tools/miri | 24 |
2 files changed, 20 insertions, 5 deletions
diff --git a/Cargo.lock b/Cargo.lock index 0eee3461ed6..ea0087de839 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1646,6 +1646,7 @@ dependencies = [ "env_logger 0.6.0 (registry+https://github.com/rust-lang/crates.io-index)", "hex 0.3.2 (registry+https://github.com/rust-lang/crates.io-index)", "log 0.4.6 (registry+https://github.com/rust-lang/crates.io-index)", + "num-traits 0.2.6 (registry+https://github.com/rust-lang/crates.io-index)", "rand 0.6.1 (registry+https://github.com/rust-lang/crates.io-index)", "rustc-workspace-hack 1.0.0", "rustc_version 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)", diff --git a/src/tools/miri b/src/tools/miri -Subproject 0c85dbf3df0f545133dca24eccfc9f0f6107c7f +Subproject e1a0f66373a1a185334a6e3be24e94161e3b4a4 |