From 2ad4726c2352d00e49a0e92655c3a7ea4ecba206 Mon Sep 17 00:00:00 2001 From: Paul Romano Date: Mon, 11 Feb 2019 19:46:40 -0600 Subject: [PATCH] Small improvement suggested by @pshriwise --- src/output.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/output.cpp b/src/output.cpp index 2acd50efde..98398af155 100644 --- a/src/output.cpp +++ b/src/output.cpp @@ -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";