Update the Charon pin

AeneasVerif · Dec 2, 2024 · c14445a · c14445a
1 parent d6053c3
commit c14445a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git 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.
-796d1b62c59fe0aff9285badf26a5c0462ed7f95
+e6033230aab5cbff5e3840473844e913b59062af
diff --git a/flake.lock b/flake.lock