Don't send separate start_time arg

This commit is contained in:
Richard Feldman 2020-08-03 23:13:55 -04:00
parent c7f7fef6c4
commit 62fdae8b45
2 changed files with 29 additions and 30 deletions

View file

@ -182,7 +182,7 @@ fn build_file(
report_timing(buf, "Solve", module_timing.solve);
report_timing(buf, "Other", module_timing.other());
buf.push('\n');
report_timing(buf, "Total", module_timing.total_start_to_finish);
report_timing(buf, "Total", module_timing.total());
}
println!(