diff options
-rw-r--r-- | decoder/kbest.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/decoder/kbest.h b/decoder/kbest.h index cd9b6c2b..fcd40fcd 100644 --- a/decoder/kbest.h +++ b/decoder/kbest.h @@ -188,7 +188,8 @@ namespace KBest { if (new_d) { cand->push_back(new_d); std::push_heap(cand->begin(), cand->end(), HeapCompare()); - assert(ds->insert(new_d).second); // insert into uniqueness set, sanity check + bool inserted = ds->insert(new_d).second; // insert into uniqueness set + assert(inserted); } } } |