Update charon pin

AeneasVerif · Oct 1, 2024 · 8839cfd · 8839cfd
1 parent c6f1db8
commit 8839cfd
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 14 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.
-82938d10c82d07b24d25de3357c4d3b357382edf
+aec7312164f5f9d68ac432053f35e293de52ef01
diff --git a/flake.lock b/flake.lock