mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

remove braces

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-12-03 16:40:55 -08:00
parent 18f14921ba
commit 17913f3ec8
1 changed files with 2 additions and 3 deletions

5
src/qe/qsat.cpp
View file

@ -267,10 +267,9 @@ namespace qe {
continue;
}
for (expr* f : *a) {
for (expr* f : *a)
if (!mark.is_marked(f))
todo.push_back(f);
}
todo.push_back(f);
bool is_boolop =
(a->get_family_id() == m.get_basic_family_id()) &&