fix(charon): remove useless dep. to hax-frontend-exporter-options

This dependency is useless, and is blocking for hacspec/hax#713, which removes the crate `hax-frontend-exporter-options`. This commit thus just drops that dependency and cleans up the commented similar dependencies below.
AeneasVerif · Jun 12, 2024 · 6206b09 · 6206b09
1 parent 9f56a29
commit 6206b09
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/charon/Cargo.lock b/charon/Cargo.lock
diff --git a/charon/Cargo.toml b/charon/Cargo.toml
@@ -55,9 +55,6 @@ walkdir = "2.3.2"
 which = "6.0.1"
 
 hax-frontend-exporter = { git = "https://github.com/hacspec/hax", branch = "main" }
-hax-frontend-exporter-options = { git = "https://github.com/hacspec/hax", branch = "main" }
-# hax-frontend-exporter = { path = "../../hax/frontend/exporter" }
-# hax-frontend-exporter-options = { path = "../../hax/frontend/exporter/options" }
 macros = { path = "./macros" }
 
 [dev-dependencies]