mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-17 03:16:17 +00:00
Code Activity

formatting

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-09-18 17:19:07 -07:00
parent c11bd79484
commit d479bd9c53
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/sat/sat_solver/inc_sat_solver.cpp
View file

@ -596,10 +596,10 @@ public:
void convert_internalized() { void convert_internalized() {
m_solver.pop_to_base_level(); m_solver.pop_to_base_level();
if (!is_internalized() && m_fmls_head > 0) { if (!is_internalized() && m_fmls_head > 0)
internalize_formulas(); internalize_formulas();
} if (!is_internalized() || m_internalized_converted)
if (!is_internalized() || m_internalized_converted) return; return;
sat2goal s2g; sat2goal s2g;
m_cached_mc = nullptr; m_cached_mc = nullptr;
goal g(m, false, true, false); goal g(m, false, true, false);