fix: kill more dependencies

hacspec · Jul 5, 2024 · ce7b6bb · ce7b6bb
1 parent be6f628
commit ce7b6bb
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 6 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/cli/driver/Cargo.toml b/cli/driver/Cargo.toml
@@ -26,7 +26,6 @@ hax-types = {workspace = true, features = ["rustc"]}
 hax-frontend-exporter-options.workspace = true
 hax-lib-macros-types.workspace = true
 itertools.workspace = true
-which.workspace = true
 tracing.workspace = true
 tracing-subscriber.workspace = true
 tracing-tree.workspace = true
diff --git a/engine/names/Cargo.toml b/engine/names/Cargo.toml
@@ -12,4 +12,3 @@ description = "Dummy crate containing all the Rust names the hax engine should b
 [dependencies]
 hax-lib-protocol = {path = "../../hax-lib-protocol"}
 hax-lib = {path = "../../hax-lib"}
-bincode.workspace = true
diff --git a/frontend/exporter/Cargo.toml b/frontend/exporter/Cargo.toml
@@ -24,7 +24,6 @@ paste = "1.0.11"
 extension-traits = "1.0.1"
 lazy_static = "1.4.0"
 bincode.workspace = true
-cfg-if = "1.0.0"
 
 [features]
 default = ["rustc"]