Small improvement suggested by @pshriwise

This commit is contained in:
Paul Romano 2019-02-11 19:46:40 -06:00
parent 20fa6fa5da
commit 2ad4726c23

View file

@ -417,9 +417,7 @@ void print_batch_keff()
void show_time(const char* label, double secs, int indent_level=0)
{
for (int i = 0; i < indent_level; ++i) {
std::cout << " ";
}
std::cout << std::string(2*indent_level, ' ');
int width = 33 - indent_level*2;
std::cout << " " << std::setw(width) << std::left << label << " = "
<< std::setw(10) << std::right << secs << " seconds\n";