Output formatting

This commit is contained in:
Michael Kerber 2008-07-24 09:45:32 +00:00
parent e3a9115e66
commit ea402184c2
1 changed files with 1 additions and 1 deletions

View File

@ -236,7 +236,7 @@ int main(int argc,char** argv) {
overall_timer.stop();
std::cout << "Overall timer: " << overall_timer.time() << std::endl;
std::cout << "Overall timer: " << overall_timer.time() << std::endl;
}
return 0;