diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 14:49:18 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-21 14:49:18 +0100 |
| commit | c6a5d871d7a670473a78e03852bb158f3b6d5be3 (patch) | |
| tree | b3cacd977876023e045f80c20315941ed0ea6bab /crates/ra_prof/src/lib.rs | |
| parent | 9fe8e561772a883ad65962b6f584fafe7487a0af (diff) | |
| parent | f63be060027cf25ce1c64bd02dab2931fc1ceafe (diff) | |
Merge #1302
1302: profile type inference r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'crates/ra_prof/src/lib.rs')
| -rw-r--r-- | crates/ra_prof/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/ra_prof/src/lib.rs b/crates/ra_prof/src/lib.rs index e56446c9f..61f2226d7 100644 --- a/crates/ra_prof/src/lib.rs +++ b/crates/ra_prof/src/lib.rs | |||
| @@ -198,6 +198,7 @@ fn print(lvl: usize, msgs: &[Message], out: &mut impl Write) { | |||
| 198 | if l != lvl { | 198 | if l != lvl { |
| 199 | continue; | 199 | continue; |
| 200 | } | 200 | } |
| 201 | |||
| 201 | writeln!(out, "{} {:6}ms - {}", indent, dur.as_millis(), msg) | 202 | writeln!(out, "{} {:6}ms - {}", indent, dur.as_millis(), msg) |
| 202 | .expect("printing profiling info to stdout"); | 203 | .expect("printing profiling info to stdout"); |
| 203 | 204 | ||