Update the Charon pin

AeneasVerif · Nov 29, 2024 · 7881c3c · 7881c3c
1 parent cc4a605
commit 7881c3c
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.
-d1c45e6f82963997ec45907f96497676e7d94caf
+1172606b471b5d9913f95cfbf944d3b943736667
diff --git a/flake.lock b/flake.lock