diff --git a/Cargo.lock b/Cargo.lock
index b7b58c2c7..1ff148870 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -701,7 +701,7 @@ dependencies = [
 [[package]]
 name = "hax-lib"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax?branch=main#46df00505bae4cccc92adf8c5c5e80cee00cb294"
+source = "git+https://github.com/hacspec/hax?branch=main#096f0eb5c5eeefd65ad48e37b824bf6f4661c843"
 dependencies = [
  "hax-lib-macros",
  "num-bigint",
@@ -711,7 +711,7 @@ dependencies = [
 [[package]]
 name = "hax-lib-macros"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax?branch=main#46df00505bae4cccc92adf8c5c5e80cee00cb294"
+source = "git+https://github.com/hacspec/hax?branch=main#096f0eb5c5eeefd65ad48e37b824bf6f4661c843"
 dependencies = [
  "hax-lib-macros-types",
  "paste",
@@ -724,7 +724,7 @@ dependencies = [
 [[package]]
 name = "hax-lib-macros-types"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax?branch=main#46df00505bae4cccc92adf8c5c5e80cee00cb294"
+source = "git+https://github.com/hacspec/hax?branch=main#096f0eb5c5eeefd65ad48e37b824bf6f4661c843"
 dependencies = [
  "proc-macro2",
  "quote",