Merge pull request #338 from AeneasVerif/afromher/charon

Update Charon
AeneasVerif · Sep 11, 2024 · 2987538 · 2987538
2 parents 1911bcf + 0e60ad4
commit 2987538
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.
-92a3a80cb9283f018498cd81ce9c5bb94c73b8bd
+35736f4af7185e3a1cdf5b296faffec665b8a14f
diff --git a/flake.lock b/flake.lock