diff --git a/charon-pin b/charon-pin
index 760c2531..73d2c09b 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.
-2edc77aeaa411f8320d9ab9d33c7a49d0bf8eec1
+c641098d7443a243c4e5b4d5150421e87f85caac
diff --git a/flake.lock b/flake.lock
index b9e49b55..10412295 100644
--- a/flake.lock
+++ b/flake.lock
@@ -9,11 +9,11 @@
         "rust-overlay": "rust-overlay"
       },
       "locked": {
-        "lastModified": 1732013238,
-        "narHash": "sha256-Awvjb3AcSWcBPHKrSyfFh93AkUzG3DkuT4/vnX04lOQ=",
+        "lastModified": 1732103037,
+        "narHash": "sha256-KsocwkYsiYp55rhRPEIiNGMcqJMs+RECXIDU5oS0zD4=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "2edc77aeaa411f8320d9ab9d33c7a49d0bf8eec1",
+        "rev": "c641098d7443a243c4e5b4d5150421e87f85caac",
         "type": "github"
       },
       "original": {
@@ -285,11 +285,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1731983527,
-        "narHash": "sha256-JECaBgC0pQ91Hq3W4unH6K9to8s2Zl2sPNu7bLOv4ek=",
+        "lastModified": 1732069891,
+        "narHash": "sha256-moKx8AVJrViCSdA0e0nSsG8b1dAsObI4sRAtbqbvBY8=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "71287228d96e9568e1e70c6bbfa3f992d145947b",
+        "rev": "8509a51241c407d583b1963d5079585a992506e8",
         "type": "github"
       },
       "original": {
diff --git a/src/Errors.ml b/src/Errors.ml
index 29f70dfa..c92c3db8 100644
--- a/src/Errors.ml
+++ b/src/Errors.ml
@@ -2,7 +2,7 @@ let log = Logging.errors_log
 
 let raw_span_to_string (raw_span : Meta.raw_span) =
   let file =
-    match raw_span.file with
+    match raw_span.file.name with
     | Virtual s | Local s -> s
   in
   let loc_to_string (l : Meta.loc) : string =