fixed: In timer.cc:81, the destructor for Profiler fails as this does…#2888

danpovey merged 1 commit intokaldi-asr:masterkaldi-asr/kaldi:masterfrom

huangruizhe:time_cchuangruizhe/kaldi:time_ccCopy head branch name to clipboard