#include "Timer.hh"

std::map<string, TickStopwatch*>& Timer::pool()
{
  static std::map<string, TickStopwatch*> m;
  return m;
}