Update the Charon pin

AeneasVerif · Nov 29, 2024 · 5753a1c · 5753a1c
1 parent 983a24c
commit 5753a1c
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.
-d2ec320a28a6c570f1c9669f00a773c3365c22d0
+93727aba2ea5b2e45b4d4cf3239a7f57b7bae5e4
diff --git a/flake.lock b/flake.lock