mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

Reverted unintended changes

Browse source
This commit is contained in:
Clemens Eisenhofer 2022-12-27 08:47:27 +01:00
parent 39a4bb025b
commit 4b8577eaa2
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/math/polynomial/polynomial.cpp
View file

@ -4398,8 +4398,8 @@ namespace polynomial {
TRACE("gcd_calls", tout << "gcd\nu: "; u->display(tout, m_manager); tout << "\nv: "; v->display(tout, m_manager); tout << "\n";);
TRACE("polynomial_gcd",
tout << "gcd\nu: "; u->display(tout, m_manager); tout << "\nv: "; v->display(tout, m_manager);
tout << "\nis_zero(u): " << is_zero(u) << ", is_determined(u): " << is_const(u) << "\n";
tout << "is_zero(v): " << is_zero(v) << ", is_determined(v): " << is_const(v) << "\n";
tout << "\nis_zero(u): " << is_zero(u) << ", is_const(u): " << is_const(u) << "\n";
tout << "is_zero(v): " << is_zero(v) << ", is_const(v): " << is_const(v) << "\n";
tout << "modular: " << m().modular() << "\n";);
if (is_zero(u)) {
r = const_cast<polynomial*>(v);