Update the Charon pin

AeneasVerif · Nov 14, 2024 · e5b1109 · e5b1109
1 parent d679bcd
commit e5b1109
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.
-d812e51376d89753900bf3cfdd87b15c53157970
+1fb1199ad2a67e89932d65ca26ee9b8538c39155
diff --git a/flake.lock b/flake.lock