diff --git a/charon/Cargo.lock b/charon/Cargo.lock
index d0537d03..5a793d42 100644
--- a/charon/Cargo.lock
+++ b/charon/Cargo.lock
@@ -172,7 +172,6 @@ dependencies = [
  "env_logger",
  "hashlink",
  "hax-frontend-exporter",
- "hax-frontend-exporter-options",
  "heck 0.3.3",
  "ignore",
  "im",
@@ -473,7 +472,7 @@ dependencies = [
 [[package]]
 name = "hax-adt-into"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax?branch=main#3444df704959e5a0865bad11894fc95ada97ee5e"
+source = "git+https://github.com/hacspec/hax?branch=main#3958de40f728a80eb3ebbaf6d3a73e6c86313716"
 dependencies = [
  "itertools 0.11.0",
  "proc-macro2",
@@ -484,7 +483,7 @@ dependencies = [
 [[package]]
 name = "hax-frontend-exporter"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax?branch=main#3444df704959e5a0865bad11894fc95ada97ee5e"
+source = "git+https://github.com/hacspec/hax?branch=main#3958de40f728a80eb3ebbaf6d3a73e6c86313716"
 dependencies = [
  "extension-traits",
  "hax-adt-into",
@@ -501,7 +500,7 @@ dependencies = [
 [[package]]
 name = "hax-frontend-exporter-options"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax?branch=main#3444df704959e5a0865bad11894fc95ada97ee5e"
+source = "git+https://github.com/hacspec/hax?branch=main#3958de40f728a80eb3ebbaf6d3a73e6c86313716"
 dependencies = [
  "schemars",
  "serde",
diff --git a/charon/Cargo.toml b/charon/Cargo.toml
index 008758b2..383da2c8 100644
--- 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]