Update the Charon pin

AeneasVerif · Nov 29, 2024 · ad91974 · ad91974
1 parent 5753a1c
commit ad91974
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.
-93727aba2ea5b2e45b4d4cf3239a7f57b7bae5e4
+d1c45e6f82963997ec45907f96497676e7d94caf
diff --git a/flake.lock b/flake.lock