From ef11ef61b55da1c734c84b117946e8e7dd8a9b84 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 11 Jan 2013 17:55:52 -0800 Subject: [PATCH] Clean m_val field when switching to GMP bignum Signed-off-by: Leonardo de Moura --- src/util/mpz.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/util/mpz.h b/src/util/mpz.h index 3582f0ad1..b5c301d82 100644 --- a/src/util/mpz.h +++ b/src/util/mpz.h @@ -251,8 +251,10 @@ class mpz_manager { } void mk_big(mpz & a) { - if (a.m_ptr == 0) + if (a.m_ptr == 0) { + a.m_val = 0; a.m_ptr = allocate(); + } } #endif @@ -687,7 +689,7 @@ public: double get_double(mpz const & a) const; std::string to_string(mpz const & a) const; - + void display(std::ostream & out, mpz const & a) const; /**