mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 11:25:51 +00:00
Code Activity

fix the build

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2019-10-19 16:02:50 -07:00
parent 538ad77019
commit 8aed753340
3 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/math/lp/nex_creator.cpp
View file

@ -500,7 +500,6 @@ nex * nex_creator::simplify_mul(nex_mul *e) {
}
nex* nex_creator::simplify_sum(nex_sum *e) {
TRACE("nla_cn", tout << lp::lp_settings::ddd << "\n";);
TRACE("nla_cn_details", tout << "was e = " << *e << "\n";);
simplify_children_of_sum(e->children());
nex *r;