diff --git a/ortools/sat/integer_search.cc b/ortools/sat/integer_search.cc
index c8c6ebb926..515e615321 100644
--- 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 =