Update the Charon pin

AeneasVerif · Dec 20, 2024 · 9145ff5 · 9145ff5
1 parent 584c1a6
commit 9145ff5
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.
-4925c99ccab9613d6af784dd52d69fccaf3f5f5d
+945ab5bedea86c1ee7e890f6a896c660744c10b5
diff --git a/flake.lock b/flake.lock