From 09dd7688ce4339008c17ae32a7a5a7750d7fc9ce Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 2 Aug 2023 11:19:41 -0700 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/qe/mbp/mbp_term_graph.cpp | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/qe/mbp/mbp_term_graph.cpp b/src/qe/mbp/mbp_term_graph.cpp index 8c525d2f7..43fa514ef 100644 --- a/src/qe/mbp/mbp_term_graph.cpp +++ b/src/qe/mbp/mbp_term_graph.cpp @@ -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