fix #2604

2021-07-12 15:57:34 +02:00
parent bf253b1418
commit 2287ed2b58
1 changed files with 1 additions and 1 deletions
--- a/ortools/sat/integer_search.cc
+++ b/ortools/sat/integer_search.cc
@@ -696,7 +696,7 @@ bool IntegerSearchHelper::BeforeTakingDecision() {
 LiteralIndex IntegerSearchHelper::GetDecision(
    std::function<BooleanOrIntegerLiteral()> f) {
  LiteralIndex decision = kNoLiteralIndex;
-  while (true) {
+  while (!time_limit_->LimitReached()) {
    BooleanOrIntegerLiteral new_decision;
    if (integer_trail_->InPropagationLoop()) {
      const IntegerVariable var =