From 1c8d8da9cfba6ff6fc85ce2cda393a0f2654c91f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 5 Feb 2016 10:07:54 -0800
Subject: [PATCH] chore(util/lp/lp_primal_core_solver): fix warning

---
 src/util/lp/lp_primal_core_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/lp/lp_primal_core_solver.cpp b/src/util/lp/lp_primal_core_solver.cpp
index 906a4579e7..0c2ee5a777 100644
--- a/src/util/lp/lp_primal_core_solver.cpp
+++ b/src/util/lp/lp_primal_core_solver.cpp
@@ -130,7 +130,7 @@ template <typename T, typename X>    X lp_primal_core_solver<T, X>::get_harris_t
 
 template <typename T, typename X>    int lp_primal_core_solver<T, X>::find_leaving_on_harris_theta(X const & harris_theta, X & t) {
     int leaving = -1;
-    T pivot_abs_max;
+    T pivot_abs_max = zero_of_type<T>();
     // we know already that there is no bound flip on entering
     // we also know that harris_theta is limited, so we will find a leaving
     zero_harris_eps();