Merge pull request #310 from Nadrieril/update-charon

AeneasVerif · Aug 21, 2024 · beef9b3 · beef9b3
2 parents e212c17 + 0a6067a
commit beef9b3
Show file tree

Hide file tree

Showing 72 changed files with 1,246 additions and 1,246 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.
-34014046de827679e27967de482a33c02e0a865a
+3a56d3a39ad19db2377fa2dc712b73ebe291beb6
diff --git a/flake.lock b/flake.lock