sat: Fix build
This commit is contained in:
committed by
Laurent Perron
parent
16132bf0ee
commit
39a5197a84
@@ -146,9 +146,9 @@ class SharedTreeSolveTest : public testing::TestWithParam<absl::string_view> {
|
||||
params.set_num_workers(4);
|
||||
params.set_shared_tree_num_workers(4);
|
||||
params.set_cp_model_presolve(false);
|
||||
params.MergeFrom(
|
||||
params.MergeFrom(SatParameters{
|
||||
google::protobuf::contrib::parse_proto::ParseTextProtoOrDie(
|
||||
GetParam()));
|
||||
GetParam())});
|
||||
return params;
|
||||
}
|
||||
};
|
||||
|
||||
Reference in New Issue
Block a user