//====================================================================
void clitk::Timer::Print(std::string text, std::ostream & os) const
{
//====================================================================
void clitk::Timer::Print(std::string text, std::ostream & os) const
{