A fix for a bug in the time table

diff --git a/source/base/timer.cc b/source/base/timer.cc
index d05cd92362f42ee2eeea425999d7e5755ecfe08c..da4c87827da36d679e2fd2b50a9cd22a4160a600 100644 (file)
--- a/source/base/timer.cc
+++ b/source/base/timer.cc
@@ -728,7 +728,8 @@ TimerOutput::print_summary() const
                  << "------------+------------+" << '\n'
                  << "| Total CPU/wall time elapsed since start     "
                  << extra_space << "|" << std::setw(10) << std::setprecision(3)
-                 << std::right << total_cpu_time << "s |            |"
+                 << std::right << total_cpu_time << "s |            "
+                 << extra_space << "|" << std::setw(10) << std::setprecision(3)
                  << total_wall_time << "s |            |"
                  << "\n|                                             "
                  << extra_space << "|"