diff --git a/Cargo.lock b/Cargo.lock
index 590a44b5..624bbc92 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -702,7 +702,7 @@ dependencies = [
 [[package]]
 name = "hax-lib"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax/?branch=main#c2093b4963099522c65f5cd42b96d6433afb0617"
+source = "git+https://github.com/hacspec/hax/?branch=main#d564be25d546faf6a7fa387b1c576ea506605474"
 dependencies = [
  "hax-lib-macros 0.1.0-pre.1 (git+https://github.com/hacspec/hax/?branch=main)",
  "num-bigint",
@@ -722,7 +722,7 @@ dependencies = [
 [[package]]
 name = "hax-lib-macros"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax/?branch=main#c2093b4963099522c65f5cd42b96d6433afb0617"
+source = "git+https://github.com/hacspec/hax/?branch=main#d564be25d546faf6a7fa387b1c576ea506605474"
 dependencies = [
  "hax-lib-macros-types 0.1.0-pre.1 (git+https://github.com/hacspec/hax/?branch=main)",
  "paste",
@@ -748,7 +748,7 @@ dependencies = [
 [[package]]
 name = "hax-lib-macros-types"
 version = "0.1.0-pre.1"
-source = "git+https://github.com/hacspec/hax/?branch=main#c2093b4963099522c65f5cd42b96d6433afb0617"
+source = "git+https://github.com/hacspec/hax/?branch=main#d564be25d546faf6a7fa387b1c576ea506605474"
 dependencies = [
  "proc-macro2",
  "quote",