mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 12:53:38 +00:00
Code Activity

fix spacing

Browse source
This commit is contained in:
Nikolaj Bjorner 2022-06-14 09:49:41 -07:00
parent 55421afd61
commit 8e2027107d
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/model/func_interp.cpp
View file

@ -294,9 +294,9 @@ void func_interp::compress() {
m().dec_ref(m_else); m().dec_ref(m_else);
m_else = new_else; m_else = new_else;
} }
else //else
#endif #endif
if (!m_entries.empty() && is_identity()) { if (!m_entries.empty() && is_identity()) {
for (func_entry * curr : m_entries) { for (func_entry * curr : m_entries) {
curr->deallocate(m(), m_arity); curr->deallocate(m(), m_arity);
} }