Update the Charon pin

AeneasVerif · Dec 4, 2024 · c925bdd · c925bdd
1 parent 62e1226
commit c925bdd
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.
-e6033230aab5cbff5e3840473844e913b59062af
+b8f9025f0553dac519c658471e9f89656ac23e2c
diff --git a/flake.lock b/flake.lock