Update the Charon pin

AeneasVerif · Nov 26, 2024 · a5f721a · a5f721a
1 parent 9506e82
commit a5f721a
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.
-f54e30a484a373514df354cfe3fd1ba238bdee6b
+3402870cbf5b49d92fd18c312831ef30a14e6a5b
diff --git a/flake.lock b/flake.lock