update charon-pin

AeneasVerif · Aug 27, 2024 · 3681a46 · 3681a46
1 parent 3ad2335
commit 3681a46
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.
-91e06f816d2eb1ff9f8b1bf51d83190690df9f7f
+58ce4543beae446a930924ecc27d5012753908cc
diff --git a/flake.lock b/flake.lock