From fa1a2cdc1e5e808c59f6f70647eef4415e405bd5 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 23 Sep 2024 10:10:46 -0700
Subject: [PATCH] disable simple check in nlsat

Signed-off-by: Lev Nachmanson <levnach@hotmail.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 f2c32cf6a..53d7d9fe7 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -222,7 +222,7 @@ namespace nlsat {
         bool                   m_check_lemmas;
         unsigned               m_max_conflicts;
         unsigned               m_lemma_count;
-        bool m_simple_check;
+        bool m_simple_check =  false;
         unsigned m_variable_ordering_strategy;
         bool m_set_0_more;
         bool m_cell_sample;