mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

remove parenthesis

Browse source
This commit is contained in:
Nikolaj Bjorner 2023-03-01 21:03:41 -08:00
parent fd97be0e3e
commit aa75ba8a6b
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/ast/simplifiers/solve_eqs.cpp
View file

@ -266,9 +266,8 @@ namespace euf {
ptr_buffer<app, 128> stack;
auto visit = [&](expr* arg) {
if (is_uninterp_const(arg)) {
m_num_occs.insert_if_not_there(arg, 0)++;
}
if (is_uninterp_const(arg))
m_num_occs.insert_if_not_there(arg, 0)++;
if (!visited.is_marked(arg) && is_app(arg)) {
visited.mark(arg, true);
stack.push_back(to_app(arg));