From 384d0509521d4f9e32d7557c85170fdde2199fd4 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 10 Jun 2020 16:11:14 -0600 Subject: [PATCH] Use usual ++var style. --- source/base/timer.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/base/timer.cc b/source/base/timer.cc index 95722a4eb6..8f1a875945 100644 --- a/source/base/timer.cc +++ b/source/base/timer.cc @@ -434,7 +434,7 @@ TimerOutput::enter_subsection(const std::string §ion_name) sections[section_name].timer.reset(); sections[section_name].timer.start(); - sections[section_name].n_calls++; + ++sections[section_name].n_calls; active_sections.push_back(section_name); } -- 2.39.5