diff --git a/charon/Cargo.toml b/charon/Cargo.toml
index 5490307b..162b1567 100644
--- a/charon/Cargo.toml
+++ b/charon/Cargo.toml
@@ -73,9 +73,9 @@ tracing-tree = "0.3"
 tracing = { version = "0.1", features = [ "max_level_trace", "release_max_level_warn" ] }
 which = "6.0.1"
 
-# hax-frontend-exporter = { git = "https://github.com/hacspec/hax", branch = "main", optional = true }
+hax-frontend-exporter = { git = "https://github.com/hacspec/hax", branch = "main", optional = true }
 # hax-frontend-exporter = { git = "https://github.com/Nadrieril/hax", branch = "update-rustc", optional = true }
-hax-frontend-exporter = { path = "../../hax/frontend/exporter", optional = true }
+# hax-frontend-exporter = { path = "../../hax/frontend/exporter", optional = true }
 macros = { path = "./macros" }
 
 [features]