sync after new export procedure

ortools/bop/bop_base.cc

@@ -255,6 +255,5 @@ const std::vector<sat::BinaryClause>& ProblemState::NewlyAddedBinaryClauses()
 void ProblemState::SynchronizationDone() {
   binary_clause_manager_.ClearNewlyAdded();
 }
-
 }  // namespace bop
 }  // namespace operations_research

ortools/bop/bop_base.h

@@ -282,7 +282,6 @@ struct LearnedInfo {
   // New binary clauses.
   std::vector<sat::BinaryClause> binary_clauses;
 };
-
 }  // namespace bop
 }  // namespace operations_research
 #endif  // OR_TOOLS_BOP_BOP_BASE_H_

ortools/bop/bop_solver.cc

@@ -62,7 +62,6 @@ bool UpdateProblemStateBasedOnStatus(BopOptimizerBase::Status status,
 
   return false;
 }
-
 }  // anonymous namespace
 
 //------------------------------------------------------------------------------

ortools/flatzinc/cp_model_fz_solver.cc

@@ -1215,7 +1215,7 @@ void SolveFzWithCpModelProto(const fz::Model& fz_model,
   // Fill the search order.
   m.TranslateSearchAnnotations(fz_model.search_annotations(), logger);
 
-  if (p.display_all_solutions && !m.proto.has_objective()) {
+  if (p.display_all_solutions && !m.pb.has_objective()) {
     // Enumerate all sat solutions.
     m.parameters.set_enumerate_all_solutions(true);
   }

ortools/gurobi/environment.h

@@ -724,8 +724,6 @@ extern std::function<char *(void)> GRBplatform;
 #define GRB_BATCH_ABORTED 3
 #define GRB_BATCH_FAILED 4
 #define GRB_BATCH_COMPLETED 5
-
-
 }  // namespace operations_research
 
 #endif  // OR_TOOLS_GUROBI_ENVIRONMENT_H_