Merge pull request #363 from Nadrieril/update-charon

AeneasVerif · Nov 20, 2024 · ee2f13b · ee2f13b
2 parents 15444b9 + 19c5bff
commit ee2f13b
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git 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
diff --git 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 =