diff --git a/ortools/sat/intervals.cc b/ortools/sat/intervals.cc index f8db47de23..e028839676 100644 --- a/ortools/sat/intervals.cc +++ b/ortools/sat/intervals.cc @@ -884,7 +884,7 @@ std::vector SchedulingDemandHelper::FilteredDecomposedEnergy( for (const auto [lit, fixed_size, fixed_demand] : decomposed_energies_[index]) { if (assignment_.LiteralIsFalse(lit)) continue; - energy.push_back({lit, fixed_size * fixed_demand}); + energy.push_back({lit, fixed_size, fixed_demand}); } return energy; }