Merge pull request #166 from AeneasVerif/afromher/traits

Propagate handling of (unsupported) mutually recursive trait declarations

1 files changed, 3 insertions, 3 deletions

diff --git a/flake.lock b/flake.lock
index fd118ae3..b9178971 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1714668124,
-        "narHash": "sha256-66QkLemEGCWI+XnGYOA666XLMdrV5PU6Oew2B1fil+4=",
+        "lastModified": 1715000450,
+        "narHash": "sha256-N7VGgAwoMeSEYblcKzo7TZWv6upuJdknrnZO1ZSwJWQ=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "9d08aa01e4c2b94c24c7c79e47191d626a1a03b4",
+        "rev": "f8fab8d2f4f279f973057d0f7f58c2fd59146e30",
         "type": "github"
       },
       "original": {