disable simple check in nlsat

Signed-off-by: Lev Nachmanson <[email protected]>
Z3Prover · Sep 23, 2024 · fa1a2cd · fa1a2cd
1 parent c34c847
commit fa1a2cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;