diff --git a/packages/teuchos/comm/src/Teuchos_StackedTimer.cpp b/packages/teuchos/comm/src/Teuchos_StackedTimer.cpp index 0ee003ebf3f6..13ea8e9893d9 100644 --- a/packages/teuchos/comm/src/Teuchos_StackedTimer.cpp +++ b/packages/teuchos/comm/src/Teuchos_StackedTimer.cpp @@ -195,7 +195,7 @@ StackedTimer::printLevel (std::string prefix, int print_level, std::ostream &os, if ( options.output_minmax && active_[i]>1) { os << " {min="<