Update charon pin

AeneasVerif · Dec 11, 2024 · 2a800fe · 2a800fe
1 parent 1dc1fb7
commit 2a800fe
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
+631d7673fd06218177cdd0d44f9ccc47053ce896
diff --git a/flake.lock b/flake.lock