diff options
author | Ulrich Germann <ugermann@inf.ed.ac.uk> | 2015-02-10 02:13:01 +0300 |
---|---|---|
committer | Ulrich Germann <ugermann@inf.ed.ac.uk> | 2015-02-10 02:13:01 +0300 |
commit | 77b439d5bd971228d0c0756dc901630c76bd9521 (patch) | |
tree | e6277f8a6355167b7572d564d5ce934cfb2613ac /moses | |
parent | 8a1c8af7a777f52264c4b368791e96a2f78e7921 (diff) |
Bug fix after merging branches.
Diffstat (limited to 'moses')
-rw-r--r-- | moses/TranslationOptionList.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/moses/TranslationOptionList.h b/moses/TranslationOptionList.h index 8bac573d6..c12d108af 100644 --- a/moses/TranslationOptionList.h +++ b/moses/TranslationOptionList.h @@ -58,10 +58,14 @@ namespace Moses m_coll.erase( m_coll.begin()+ind ); } void Add(TranslationOption *transOpt) { + UTIL_THROW_IF2(!transOpt, "Not a valid translation option!"); m_coll.push_back(transOpt); } + TO_STRING(); + size_t SelectNBest(size_t const N); size_t PruneByThreshold(float const th); + }; } |