From be5fd85aba6e10e5a87a4692a33ffed291d6ebea Mon Sep 17 00:00:00 2001
From: Ryan Lahfa <ryan.lahfa@inria.fr>
Date: Tue, 20 Aug 2024 15:45:18 +0200
Subject: [PATCH] chore(charon-pin): fix it

Signed-off-by: Ryan Lahfa <ryan.lahfa@inria.fr>
---
 charon-pin | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/charon-pin b/charon-pin
index eebe608f9..0b5eb62c9 100644
--- a/charon-pin
+++ b/charon-pin
@@ -1,2 +1,2 @@
 # This is the commit from https://github.com/AeneasVerif/charon that should be used with this version of aeneas.
-962f26311ccdf09a6a3cfeacbccafba22bf3d405
+0576bfc67e99aae86c51930421072688138b672b