Update charon pin

AeneasVerif · Dec 11, 2024 · 06b0c9c · 06b0c9c
1 parent ee3ac39
commit 06b0c9c
Show file tree

Hide file tree

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