Merge pull request #245 from AeneasVerif/son/update-lean

Bump Lean to 4.9.0-rc2

1 files changed, 3 insertions, 3 deletions

diff --git a/flake.lock b/flake.lock
index 8ec4ba9b..759e37a2 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1718613525,
-        "narHash": "sha256-E2YhvmpEEcytnSJkSq3LsA2q3uJbe0NC2TCHaRVJFX4=",
+        "lastModified": 1718628521,
+        "narHash": "sha256-RskPLip2zGm96bw6Qpu0teff3RMKGVDfGxIdj5vFz7w=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "3c1b7e2c8e2e8d936d1054cd3803a64d50cfb905",
+        "rev": "f818fc0c4f380b0140be077308f354cfd89c2d7f",
         "type": "github"
       },
       "original": {