packages/Utils/comm/Timing_Diagnostics.cc
//---------------------------------------------------------------------------//
/*!
 * \brief Removes a timer with name key from the map of timers.
 */
\brief Removes a timer with name key from the map of timers.
\ brief Removes a timer with name key from the map of timers .
void Timing_Diagnostics::delete_timer(const std::string &key)
{
    timers.erase(key);
    ENSURE(timers.count(key) == 0);
}
void Timing_Diagnostics :: delete_timer ( const std :: string & key ) { timers . erase ( key ) ; ENSURE ( timers . count ( key ) == 0 ) ; }
\brief Removes a timer with name key from the map of timers.
\ brief Removes a timer with name key from the map of timers .