misc improvements

This commit is contained in:
Anton-4 2024-03-04 17:10:59 +01:00
parent c47fff04d2
commit f620508a37
No known key found for this signature in database
GPG key ID: 0971D718C0A9B937
6 changed files with 14 additions and 46 deletions

View file

@ -1901,7 +1901,7 @@ fn load_multi_threaded<'a>(
// &mut can_problems_recorded,
// &mut type_problems_recorded,
// )
// .print_to_stdout(Duration::default()); // TODO determine total elapsed time and use it here
// .print_error_warning_count(Duration::default()); // TODO determine total elapsed time and use it here
Err(LoadingProblem::FormattedReport(
concat!(