fix

wen-zheng · Jun 11, 2020 · 1d13bad · 1d13bad
1 parent b60c721
commit 1d13bad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ortools/sat/cp_model_solver.cc b/ortools/sat/cp_model_solver.cc
@@ -2449,7 +2449,7 @@ void SolveCpModelParallel(const CpModelProto& model_proto,
     // need to synchronize bounds. Fix, it should be easy to make this number
     // adapt dynamically in the SharedBoundsManager.
     shared_bounds_manager =
-        absl::make_unique<SharedBoundsManager>(num_strategies + 2, model_proto);
+        absl::make_unique<SharedBoundsManager>(num_strategies + 3, model_proto);
   }
 
   std::unique_ptr<SharedRelaxationSolutionRepository>