Update the Charon pin

AeneasVerif · Nov 29, 2024 · f572998 · f572998
1 parent ac72c0c
commit f572998
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.
-3cc56758495403a4b767aa0839ba0bd225c214dc
+d2ec320a28a6c570f1c9669f00a773c3365c22d0
diff --git a/flake.lock b/flake.lock