Update the Charon pin

AeneasVerif · Dec 17, 2024 · 9adebc5 · 9adebc5
1 parent 5f47ad3
commit 9adebc5
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 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.
-c114a3aabc989b5ea3d72c3eccbde9869834460e
+2909a3c23b1abbc780aad5dca76a0f101fedc6ea
diff --git a/flake.lock b/flake.lock