From b448993cae83b13a93d2ffc7ac7075b085673418 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Thu, 5 Jun 2025 11:33:19 +0200
Subject: [PATCH] fix

---
 ortools/sat/scheduling_cuts.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ortools/sat/scheduling_cuts.cc b/ortools/sat/scheduling_cuts.cc
index 9842654ca0..e51929b16d 100644
--- a/ortools/sat/scheduling_cuts.cc
+++ b/ortools/sat/scheduling_cuts.cc
@@ -1456,7 +1456,7 @@ ABSL_MUST_USE_RESULT bool GenerateShortCompletionTimeCutsWithExactBound(
               helper, min_sum_of_ends, min_sum_of_weighted_ends,
               cut_use_precedences, exploration_limit);
       if (status == CompletionTimeExplorationStatus::NO_VALID_PERMUTATION) {
-        return false;
+        break;
       } else if (status == CompletionTimeExplorationStatus::ABORTED) {
         break;
       }