fix

google · Nov 1, 2023 · b60cde8 · b60cde8
1 parent acd6176
commit b60cde8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ortools/sat/cp_model_presolve.cc b/ortools/sat/cp_model_presolve.cc
@@ -5553,6 +5553,7 @@ bool CpModelPresolver::PresolveCumulative(ConstraintProto* ct) {
               return true;
             }
             num_incompatible_intervals++;
+            continue;
           }
         } else {  // Interval performed.
           // Try to set the size to 0.