From 3ba0d7d5948012a9cfe0ef7a631ce57c4034bf80 Mon Sep 17 00:00:00 2001
From: Lucas Franceschino <lucas.franceschino@inria.fr>
Date: Mon, 22 Jan 2024 14:23:45 +0100
Subject: [PATCH] revert me: temporarily use
 `monomorphize-assoc-type-universe-index` branch for Hax

---
 .github/workflows/hax.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
index 7057482fb..e869f37a9 100644
--- a/.github/workflows/hax.yml
+++ b/.github/workflows/hax.yml
@@ -53,6 +53,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           repository: hacspec/hacspec-v2
+          ref: monomorphize-assoc-type-universe-index
           path: hax
 
       - name: 🔨 Setup hax