From d4351eacf20fb0e983564907ea227af34a935c13 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 7 Oct 2024 02:56:43 +0000
Subject: [PATCH] Bump hax-lib-macros from `c2093b4` to `d564be2`

Bumps [hax-lib-macros](https://github.com/hacspec/hax) from `c2093b4` to `d564be2`.
- [Commits](https://github.com/hacspec/hax/compare/c2093b4963099522c65f5cd42b96d6433afb0617...d564be25d546faf6a7fa387b1c576ea506605474)

---
updated-dependencies:
- dependency-name: hax-lib-macros
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Cargo.lock | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 590a44b52..624bbc92f 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",