mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 19:52:29 +00:00
Code Activity

fix the release build

Browse source 
Signed-off-by: Lev Nachmanson <levnach@nachmanson.com>
This commit is contained in:
Lev Nachmanson 2019-10-09 12:07:57 -07:00 • committed by Lev Nachmanson
parent 2c1d68e163
commit 7c4290e398
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/math/lp/nla_grobner.cpp
View file

@ -475,9 +475,9 @@ nla_grobner::equation * nla_grobner::simplify(equation const * source, equation
}
std::ostream& nla_grobner::display_equation(std::ostream & out, equation & eq) {
tout << "m_exp = " << *eq.m_exp << "\n";
tout << "dep = "; display_dependency(tout, eq.m_dep) << "\n";
return tout;
out << "m_exp = " << *eq.m_exp << "\n";
out << "dep = "; display_dependency(out, eq.m_dep) << "\n";
return out;
}
void nla_grobner::display_monomial(std::ostream & out, monomial const & m) const {