From dfe15adf7e53672c85a4f079f547b18fe9657a28 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@microsoft.com>
Date: Mon, 26 Jun 2017 16:32:44 -0700
Subject: [PATCH] fix maybe non initialized warning

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>
---
 src/util/lp/lp_primal_core_solver.h   | 1 +
 src/util/lp/lp_primal_core_solver.hpp | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/util/lp/lp_primal_core_solver.h b/src/util/lp/lp_primal_core_solver.h
index 3fada1e5d..f77aae6eb 100644
--- a/src/util/lp/lp_primal_core_solver.h
+++ b/src/util/lp/lp_primal_core_solver.h
@@ -460,6 +460,7 @@ public:
             break;
         default:
             lean_assert(false);
+            new_val_for_leaving = numeric_traits<T>::zero(); // does not matter
         }
         return j;
     }
diff --git a/src/util/lp/lp_primal_core_solver.hpp b/src/util/lp/lp_primal_core_solver.hpp
index 47eec468a..969d56812 100644
--- a/src/util/lp/lp_primal_core_solver.hpp
+++ b/src/util/lp/lp_primal_core_solver.hpp
@@ -1139,6 +1139,7 @@ lp_primal_core_solver<T, X>::get_infeasibility_cost_for_column(unsigned j) const
         break;
     default:
         lean_assert(false);
+        ret = numeric_traits<T>::zero(); // does not matter
         break;
     }