From 225e9517ef5deba4d6bbb6039916ff843c0fc239 Mon Sep 17 00:00:00 2001 From: bangerth Date: Sun, 4 Nov 2012 23:12:35 +0000 Subject: [PATCH] Proper spelling. git-svn-id: https://svn.dealii.org/branches/branch_cmake@27365 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/source/base/timer.cc | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/deal.II/source/base/timer.cc b/deal.II/source/base/timer.cc index c8ae246cc5..762406b7fd 100644 --- a/deal.II/source/base/timer.cc +++ b/deal.II/source/base/timer.cc @@ -131,7 +131,7 @@ void Timer::start () start_time = windows::cpu_clock(); start_time_children = start_time; #else -# error unsupported platform. Porting not finished. +# error Unsupported platform. Porting not finished. #endif } @@ -165,7 +165,7 @@ double Timer::stop () double time = windows::wall_clock() - start_wall_time; cumulative_time += windows::cpu_clock() - start_time; #else -# error unsupported platform. Porting not finished. +# error Unsupported platform. Porting not finished. #endif #ifdef DEAL_II_COMPILER_SUPPORTS_MPI @@ -216,7 +216,7 @@ double Timer::operator() () const const double running_time = windows::cpu_clock() - start_time + cumulative_time; return running_time; #else -# error unsupported platform. Porting not finished. +# error Unsupported platform. Porting not finished. #endif } else -- 2.39.5