From 59f7ba569b5f78f7797dabaeed0965c683973f13 Mon Sep 17 00:00:00 2001
From: Franziskus Kiefer <franziskuskiefer@gmail.com>
Date: Tue, 21 Nov 2023 06:43:54 +0100
Subject: [PATCH] update info.txt

---
 info.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/info.txt b/info.txt
index 7ffed8e2..61cb7666 100644
--- a/info.txt
+++ b/info.txt
@@ -1,5 +1,5 @@
 The code was generated with the following toolchain.
 F* version: f4cbb7a38d67eeb13fbdb2f4fb8a44a65cbcdc1f
 Karamel version: a7be2a7c43eca637ceb57fe8f3ffd16fc6627ebd
-HACL* version: 309736b87a124ad1bdc2dc34e7768568039639e5
+HACL* version: a73f8d6451c15f0ae3df1ba1b1c223f36015b3cd
 Vale version: 0.3.19