mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
no normalize
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
75a81af426
commit
b1ff4bc24a
|
@ -722,7 +722,6 @@ namespace algebraic_numbers {
|
|||
\brief Make sure that if a is 0, then a.m_cell == 0
|
||||
*/
|
||||
void normalize(numeral & a) {
|
||||
std::cout << "normalize\n";
|
||||
if (is_zero(a))
|
||||
return;
|
||||
if (a.is_basic()) {
|
||||
|
|
Loading…
Reference in a new issue