Use main branch of hax

cryspen · Sep 23, 2024 · 737bf43 · 737bf43
1 parent da48c5a
commit 737bf43
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -79,8 +79,8 @@ getrandom = { version = "0.2", features = ["js"], optional = true }
 # This is only required when doing proofs.
 #[target.'cfg(hax)'.dependencies]
 [workspace.dependencies]
-hax-lib-macros = { git = "https://github.com/hacspec/hax", branch = "fold-enum-slice" }
-hax-lib = { git = "https://github.com/hacspec/hax/", branch = "fold-enum-slice" }
+hax-lib-macros = { git = "https://github.com/hacspec/hax", branch = "main" }
+hax-lib = { git = "https://github.com/hacspec/hax/", branch = "main" }
 
 [dev-dependencies]
 libcrux = { path = ".", features = ["rand", "tests"] }