mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 12:58:44 +00:00
Code Activity

fix build

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-08-02 11:19:41 -07:00
parent d33d8ac07a
commit 09dd7688ce
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/qe/mbp/mbp_term_graph.cpp
View file

@ -825,7 +825,10 @@ bool term_graph::term_lt(term const &t1, term const &t2) {
bool all_children_picked(term *t) {
if (t->deg() == 0)
return true;
return all_of(term::children(t), [](term* c) { return c->get_repr(); });
for (term *c : term::children(t))
if (!c->get_repr())
return false;
return true;
}
// pick representatives for all terms in todo. Then, pick representatives for