fix example after removal of code in sat

examples/cpp/shift_minimization_sat.cc

@@ -47,7 +47,6 @@
 
 DEFINE_string(input, "", "Input file.");
 DEFINE_string(params, "", "Sat parameters in text proto format.");
-DEFINE_bool(use_core, false, "Use the core based solver.");
 
 namespace operations_research {
 namespace sat {
@@ -309,13 +308,6 @@ void LoadAndSolve(const std::string& file_name) {
             << num_reused_literals << " times.";
   LOG(INFO) << "Lower bound = " << max_intersection_size;
 
-  if (FLAGS_use_core) {
-    const std::vector<int64> coeffs(num_workers, 1);
-    MinimizeWeightedLiteralSumWithCoreAndLazyEncoding(
-        /*log_info=*/true, active_workers, coeffs, nullptr, nullptr, &model);
-    return;
-  }
-
   // Objective.
   std::vector<int> weights(num_workers, 1);
   std::vector<IntegerVariable> worker_vars(num_workers);