diff options
| author | Aleksey Kladov <[email protected]> | 2019-05-21 14:24:53 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-05-21 14:26:13 +0100 |
| commit | f63be060027cf25ce1c64bd02dab2931fc1ceafe (patch) | |
| tree | b3cacd977876023e045f80c20315941ed0ea6bab /crates/ra_prof/src | |
| parent | 0f3e85002b74b45ac7862ccf7fe72650f59d679d (diff) | |
profile type inference
Diffstat (limited to 'crates/ra_prof/src')
| -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 | ||