diff --git a/charon-pin b/charon-pin
index 0f87c3e8..29ec2632 100644
--- 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.
-b487babe3ae3021b484373ce59196896e3b43448
+c114a3aabc989b5ea3d72c3eccbde9869834460e
diff --git a/flake.lock b/flake.lock
index 38796eff..30627d90 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1733735940,
-        "narHash": "sha256-4eZTI72w5iTqV31z99ErYi2/q1cEfc/ZZCuI5ZoEIaI=",
+        "lastModified": 1733929967,
+        "narHash": "sha256-RaCG23BtUsa6iCoFBgS5Uv7FdLzKQX8zPFHBDvl/v58=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "b487babe3ae3021b484373ce59196896e3b43448",
+        "rev": "c114a3aabc989b5ea3d72c3eccbde9869834460e",
         "type": "github"
       },
       "original": {