diff options
| author | Laurenz <laurmaedje@gmail.com> | 2024-10-27 19:04:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-27 18:04:55 +0000 |
| commit | be7cfc85d08c545abfac08098b7b33b4bd71f37e (patch) | |
| tree | f4137fa2aaa57babae1f7603a9b2ed7e688f43d8 /crates/typst-cli/src/timings.rs | |
| parent | b8034a343831e8609aec2ec81eb7eeda57aa5d81 (diff) | |
Split out four new crates (#5302)
Diffstat (limited to 'crates/typst-cli/src/timings.rs')
| -rw-r--r-- | crates/typst-cli/src/timings.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/crates/typst-cli/src/timings.rs b/crates/typst-cli/src/timings.rs index df7665b7..4446bbf9 100644 --- a/crates/typst-cli/src/timings.rs +++ b/crates/typst-cli/src/timings.rs @@ -72,7 +72,8 @@ impl Timer { let writer = BufWriter::with_capacity(1 << 20, file); typst_timing::export_json(writer, |span| { - resolve_span(world, span).unwrap_or_else(|| ("unknown".to_string(), 0)) + resolve_span(world, Span::from_raw(span)) + .unwrap_or_else(|| ("unknown".to_string(), 0)) })?; Ok(output) |