point hax-lib to main

cryspen · Feb 3, 2025 · ac490f4 · ac490f4
1 parent fe9e2d1
commit ac490f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/libcrux-ml-dsa/Cargo.toml b/libcrux-ml-dsa/Cargo.toml
@@ -20,7 +20,7 @@ libcrux-sha3 = { version = "0.0.2-beta.2", path = "../libcrux-sha3" }
 libcrux-intrinsics = { version = "0.0.2-beta.2", path = "../libcrux-intrinsics" }
 libcrux-platform = { version = "0.0.2-beta.2", path = "../sys/platform" }
 libcrux-macros = { version = "0.0.2-beta.2", path = "../macros" }
-hax-lib = { git = "https://github.com/hacspec/hax/", branch="ml-dsa-lib-additions" }
+hax-lib = { version = "0.1.0", git = "https://github.com/hacspec/hax/"}
 
 [dev-dependencies]
 rand = { version = "0.8" }