fix

2022-09-22 11:18:52 +02:00
parent 0faf9251d7
commit fef06022bf
1 changed files with 1 additions and 1 deletions
--- a/ortools/sat/intervals.cc
+++ b/ortools/sat/intervals.cc
@@ -884,7 +884,7 @@ std::vector<LiteralValueValue> 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;
 }