From a220b1b1463bb58dfc0521ec25eb464fd773f5b2 Mon Sep 17 00:00:00 2001
From: Driss Lahlou <dlahlou@dlahlou.par.corp.google.com>
Date: Fri, 4 Nov 2016 16:26:27 +0100
Subject: [PATCH] support Visual studio 2013 using Solver::IndexEvaluator2

---
 examples/cpp/frequency_assignment_problem.cc | 10 ++++++----
 src/base/hash.h                              |  8 ++++----
 src/flatzinc/sat_fz_solver.cc                |  1 -
 3 files changed, 10 insertions(+), 9 deletions(-)

diff --git a/examples/cpp/frequency_assignment_problem.cc b/examples/cpp/frequency_assignment_problem.cc
index 9e56d6d7c49..574e0406960 100644
--- a/examples/cpp/frequency_assignment_problem.cc
+++ b/examples/cpp/frequency_assignment_problem.cc
@@ -578,10 +578,12 @@ void HardFapSolver(const std::map<int, FapVariable>& data_variables,
   hash_map<int64, std::pair<int64, int64>> history;
   if (FLAGS_value_evaluator == "value_evaluator") {
     LOG(INFO) << "Using ValueEvaluator for value selection strategy.";
-    db = solver.MakePhase(variables, variable_strategy,
-                          [&history](int64 var, int64 value) {
-                            return ValueEvaluator(&history, var, value);
-                          });
+    Solver::IndexEvaluator2 index_evaluator2 = [&history](int64 var,
+                                                          int64 value) {
+      return ValueEvaluator(&history, var, value);
+    };
+    LOG(INFO) << "Using ValueEvaluator for value selection strategy.";
+    db = solver.MakePhase(variables, variable_strategy, index_evaluator2);
   } else {
     LOG(INFO) << "Using Solver::ASSIGN_MIN_VALUE for value selection strategy.";
     db = solver.MakePhase(variables, variable_strategy,
diff --git a/src/base/hash.h b/src/base/hash.h
index 374110d7c91..15b2218df4f 100644
--- a/src/base/hash.h
+++ b/src/base/hash.h
@@ -387,11 +387,11 @@ struct StdArrayHasher : public stdext::hash_compare<std::array<T, N>> {
 #if defined(_MSC_VER)
 namespace stdext {
 template <>
-inline size_t hash_value <std::pair<int64, int64>> (
-  const std::pair<int64, int64>& a) {
+inline size_t hash_value<std::pair<int64, int64>>(
+    const std::pair<int64, int64>& a) {
   PairIntHasher pairIntHasher;
-    return pairIntHasher(a);
-  }
+  return pairIntHasher(a);
+}
 }  //  namespace stdext
 #endif  // _MSC_VER
 
diff --git a/src/flatzinc/sat_fz_solver.cc b/src/flatzinc/sat_fz_solver.cc
index 5579a0439c4..03f6528d384 100644
--- a/src/flatzinc/sat_fz_solver.cc
+++ b/src/flatzinc/sat_fz_solver.cc
@@ -12,7 +12,6 @@
 // limitations under the License.
 
 #include "flatzinc/sat_fz_solver.h"
-
 #include "base/timer.h"
 #include "base/map_util.h"
 #include "flatzinc/checker.h"