Point to mainstream hax

AeneasVerif · Sep 5, 2024 · e1ca56d · e1ca56d
1 parent 6d4bcb8
commit e1ca56d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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]