diff --git a/source/source_base/timer.cpp b/source/source_base/timer.cpp index 4d85bd7cd3d..38134b4a02d 100644 --- a/source/source_base/timer.cpp +++ b/source/source_base/timer.cpp @@ -348,7 +348,7 @@ void timer::print_all(std::ofstream &ofs, const bool check_end) const std::string table = "\n TIME STATISTICS\n" + time_statistics.str(); std::cout<