Remove unused deps for CLI (#9531)

aptos-labs · Aug 12, 2023 · 49ee59e · 49ee59e
1 parent 97858e5
commit 49ee59e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 11 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/crates/aptos/Cargo.toml b/crates/aptos/Cargo.toml
@@ -22,7 +22,6 @@ aptos-cached-packages = { workspace = true }
 aptos-cli-common = { workspace = true }
 aptos-config = { workspace = true }
 aptos-crypto = { workspace = true }
-aptos-db-tool = { workspace = true }
 aptos-debugger = { workspace = true }
 aptos-faucet-core = { workspace = true }
 aptos-framework = { workspace = true }
@@ -63,11 +62,8 @@ move-compiler = { workspace = true }
 move-core-types = { workspace = true }
 move-coverage = { workspace = true }
 move-disassembler = { workspace = true }
-move-ir-compiler = { workspace = true }
 move-ir-types = { workspace = true }
 move-package = { workspace = true }
-move-prover = { workspace = true }
-move-prover-boogie-backend = { workspace = true }
 move-symbol-pool = { workspace = true }
 move-unit-test = { workspace = true, features = [ "debugging" ] }
 move-vm-runtime = { workspace = true, features = [ "testing" ] }
@@ -79,12 +75,10 @@ self_update = { version = "0.34.0", features = ["archive-zip", "compression-zip-
 serde = { workspace = true }
 serde_json = { workspace = true }
 serde_yaml = { workspace = true }
-shadow-rs = { workspace = true }
 tempfile = { workspace = true }
 termcolor = { workspace = true }
 thiserror = { workspace = true }
 tokio = { workspace = true }
-tokio-util = { workspace = true }
 toml = { workspace = true }
 walkdir = { workspace = true }