From 49f88d9d90bc2130ac029e3434d1b71e3e170c78 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 24 Jul 2017 12:52:10 -0700 Subject: [PATCH] fix uninitialized warning Signed-off-by: Nikolaj Bjorner --- src/nlsat/nlsat_explain.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/nlsat/nlsat_explain.cpp b/src/nlsat/nlsat_explain.cpp index 92a80375e..5d9491da2 100644 --- a/src/nlsat/nlsat_explain.cpp +++ b/src/nlsat/nlsat_explain.cpp @@ -1190,6 +1190,7 @@ namespace nlsat { info.m_lc = lc_eq.get(); info.m_lc_sign = sign(lc_eq); info.m_lc_add = false; + info.m_lc_add_ineq = false; info.m_lc_const = m_pm.is_const(lc_eq); SASSERT(info.m_lc != 0); scoped_literal new_lit(m_solver);