From 1c3d385c253b94b1932adf769a0059d1fad58b65 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 14 Dec 2017 17:24:13 -0800
Subject: [PATCH] fix crashes in nlsat

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/nlsat/nlsat_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index 0e3bf8c95..da4f9646d 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -734,7 +734,7 @@ namespace nlsat {
         void undo_set_updt(interval_set * old_set) {
             SASSERT(m_xk != null_var);
             var x = m_xk;
-			if (x < m_infeasible.size() && m_infeasible[x]) {
+			if (x < m_infeasible.size()) {
 				m_ism.dec_ref(m_infeasible[x]);
 				m_infeasible[x] = old_set;
 			}