From 86c3c52ed8aa6ee881358ce37c452ebc2b8dbd76 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas@cryspen.com>
Date: Mon, 14 Oct 2024 16:31:04 +0200
Subject: [PATCH] temporary commit: pin hax branch

---
 charon/Cargo.lock | 6 +++---
 charon/Cargo.toml | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/charon/Cargo.lock b/charon/Cargo.lock
index 363aae83..063f09a0 100644
--- a/charon/Cargo.lock
+++ b/charon/Cargo.lock
@@ -506,7 +506,7 @@ dependencies = [
 [[package]]
 name = "hax-adt-into"
 version = "0.1.0-alpha.1"
-source = "git+https://github.com/hacspec/hax?branch=main#050449c3f32b4210f6464c1a9496e2f428044464"
+source = "git+https://github.com/hacspec/hax?branch=exporter-get_variant_information-works-on-unions#07102108085cb46a10748f42b719780b47d1b362"
 dependencies = [
  "itertools 0.11.0",
  "proc-macro2",
@@ -517,7 +517,7 @@ dependencies = [
 [[package]]
 name = "hax-frontend-exporter"
 version = "0.1.0-alpha.1"
-source = "git+https://github.com/hacspec/hax?branch=main#050449c3f32b4210f6464c1a9496e2f428044464"
+source = "git+https://github.com/hacspec/hax?branch=exporter-get_variant_information-works-on-unions#07102108085cb46a10748f42b719780b47d1b362"
 dependencies = [
  "bincode",
  "extension-traits",
@@ -535,7 +535,7 @@ dependencies = [
 [[package]]
 name = "hax-frontend-exporter-options"
 version = "0.1.0-alpha.1"
-source = "git+https://github.com/hacspec/hax?branch=main#050449c3f32b4210f6464c1a9496e2f428044464"
+source = "git+https://github.com/hacspec/hax?branch=exporter-get_variant_information-works-on-unions#07102108085cb46a10748f42b719780b47d1b362"
 dependencies = [
  "bincode",
  "hax-adt-into",
diff --git a/charon/Cargo.toml b/charon/Cargo.toml
index d501ba4d..3861e049 100644
--- a/charon/Cargo.toml
+++ b/charon/Cargo.toml
@@ -75,7 +75,7 @@ tracing-tree = { git = "https://github.com/Nadrieril/tracing-tree", features = [
 tracing = { version = "0.1", features = [ "max_level_trace" ] }
 which = "6.0.1"
 
-hax-frontend-exporter = { git = "https://github.com/hacspec/hax", branch = "main", optional = true }
+hax-frontend-exporter = { git = "https://github.com/hacspec/hax", branch = "exporter-get_variant_information-works-on-unions", optional = true }
 # hax-frontend-exporter = { path = "../../hax/frontend/exporter", optional = true }
 macros = { path = "./macros" }