diff --git a/charon-pin b/charon-pin
index 8e34e4387..71cfa8b5c 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.
-5642ea4f0e40ad4890f4e9dc69a500737ec08940
+2193aa00fd89e991226ada10d8a8f66e0594f212
diff --git a/compiler/charon b/compiler/charon
index 0cd9e85a1..8100508b3 120000
--- a/compiler/charon
+++ b/compiler/charon
@@ -1 +1 @@
-../charon/charon-ml/
\ No newline at end of file
+../charon
\ No newline at end of file
diff --git a/flake.lock b/flake.lock
index fb6352535..d73532699 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1729785533,
-        "narHash": "sha256-Hc8UDsJ3NWTNIrkvtBRDLxpSRiXANfizBTNbz05qD7Y=",
+        "lastModified": 1730738130,
+        "narHash": "sha256-Gr81tQuo+IKZ87rMz1oMpJ+ccgGh7sAjQXe5jJsYWzc=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "5642ea4f0e40ad4890f4e9dc69a500737ec08940",
+        "rev": "2193aa00fd89e991226ada10d8a8f66e0594f212",
         "type": "github"
       },
       "original": {
@@ -285,11 +285,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1729736953,
-        "narHash": "sha256-Rb6JUop7NRklg0uzcre+A+Ebrn/ZiQPkm4QdKg6/3pw=",
+        "lastModified": 1730773675,
+        "narHash": "sha256-pULo7GryzLkqGveWvnNWVz1Kk6EJqvq+HQeSkwvr7DA=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "29b1275740d9283467b8117499ec8cbb35250584",
+        "rev": "e19e9d54fac1e53f73411ebe22d19f946b1ba0bd",
         "type": "github"
       },
       "original": {