diff options
| author | MosesAdmin <moses-support-owner@mit.edu> | 2015-08-08 02:00:45 +0300 |
|---|---|---|
| committer | MosesAdmin <moses-support-owner@mit.edu> | 2015-08-08 02:00:45 +0300 |
| commit | 21aa5af640946c0f00c717a0774d05441a4b6902 (patch) | |
| tree | 263d9827fd439e6c909b771821776e40151b7fc8 /moses/Search.h | |
| parent | 883c34aee9266cce72f9a8851e863cb4b910c718 (diff) | |
daily automatic beautifier
Diffstat (limited to 'moses/Search.h')
| -rw-r--r-- | moses/Search.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/moses/Search.h b/moses/Search.h index 7bafa3157..7d33535e0 100644 --- a/moses/Search.h +++ b/moses/Search.h @@ -46,7 +46,7 @@ protected: AllOptions const& m_options; /** flag indicating that decoder ran out of time (see switch -time-out) */ - size_t interrupted_flag; + size_t interrupted_flag; bool out_of_time(); }; |