From dd0e9e200ce93c82085bcbe784f4e38d5305f8a0 Mon Sep 17 00:00:00 2001
From: Laurent Perron <lperron@google.com>
Date: Wed, 5 Jul 2017 16:30:10 -0700
Subject: [PATCH] fix example after removal of code in sat

---
 examples/cpp/shift_minimization_sat.cc | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/examples/cpp/shift_minimization_sat.cc b/examples/cpp/shift_minimization_sat.cc
index 28d505a404..e79a55865d 100644
--- a/examples/cpp/shift_minimization_sat.cc
+++ b/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);