Fixed filename in addrspan output

hlorenzi · Dec 2, 2023 · 1172abe · 1172abe
1 parent 8072512
commit 1172abe
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/util/bitvec_format.rs b/src/util/bitvec_format.rs
@@ -514,10 +514,11 @@ impl util::BitVec
             {
                 let (line_start, col_start) = counter.get_line_column_at_index(start);
                 let (line_end, col_end) = counter.get_line_column_at_index(end);
+                let filename = fileserver.get_filename(span.span.file_handle);
 
                 result.push_str(
                     &format!("{}:{}:{}:{}:{}",
-                        &span.span.file_handle,
+                        filename,
                         line_start, col_start,
                         line_end, col_end));
             }
@@ -531,4 +532,4 @@ impl util::BitVec
 
         result
     }
-}
+}