diff options
author | David Madl <git@abanbytes.eu> | 2015-11-10 17:01:05 +0300 |
---|---|---|
committer | David Madl <git@abanbytes.eu> | 2015-11-17 19:15:13 +0300 |
commit | 3b6393094394cd19eee61b64e467b055a88033d4 (patch) | |
tree | 7f7b2afe19ae7a30a85556e7263b7608098fe19e /moses/Util.h | |
parent | 0dd6c31f638de16bd9dd6abb3113e15b719dce2c (diff) |
move global Timer to Timer.h
Move ResetUserTime(), PrintUserTime(), GetUserTime() to Timer.h
Do not reset timer in StaticData.
Diffstat (limited to 'moses/Util.h')
-rw-r--r-- | moses/Util.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/moses/Util.h b/moses/Util.h index 926f5c32b..8a21a9b23 100644 --- a/moses/Util.h +++ b/moses/Util.h @@ -466,11 +466,6 @@ inline void ShrinkToFit(T& v) bool FileExists(const std::string& filePath); -// A couple of utilities to measure decoding time -void ResetUserTime(); -void PrintUserTime(const std::string &message); -double GetUserTime(); - // dump SGML parser for <dlt> tags std::vector< std::map<std::string, std::string> > ProcessAndStripDLT(std::string &line); |