diff options
| author | Paul Baltescu <pauldb89@gmail.com> | 2013-02-21 14:13:55 +0000 |
|---|---|---|
| committer | Paul Baltescu <pauldb89@gmail.com> | 2013-02-21 14:13:55 +0000 |
| commit | b5491898549c61bd799d199aa9178a8394a1ef69 (patch) | |
| tree | fb2686a2aae03ff07bcdf4cd47e8c3191eff8d1e /klm/util/ersatz_progress.hh | |
| parent | 0187447a643c3ea262b13b3052cb1531990eafe6 (diff) | |
| parent | c17d9c23d023a5c08656376944f636180f0a437b (diff) | |
Merge branch 'master' of https://github.com/pauldb89/cdec
Diffstat (limited to 'klm/util/ersatz_progress.hh')
| -rw-r--r-- | klm/util/ersatz_progress.hh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/klm/util/ersatz_progress.hh b/klm/util/ersatz_progress.hh index 9909736d..b94399a8 100644 --- a/klm/util/ersatz_progress.hh +++ b/klm/util/ersatz_progress.hh @@ -10,6 +10,9 @@ // boost. Also adds option to print nothing. namespace util { + +extern const char kProgressBanner[]; + class ErsatzProgress { public: // No output. @@ -32,7 +35,6 @@ class ErsatzProgress { void Set(uint64_t to) { if ((current_ = to) >= next_) Milestone(); - Milestone(); } void Finished() { |