From c986dfe97beccd7fa7ef44a7b3299cebbe955f14 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 28 Jun 2018 13:41:59 -0700 Subject: [PATCH] change in an SASSERT Signed-off-by: Lev Nachmanson --- src/util/mpz.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/mpz.cpp b/src/util/mpz.cpp index 35a84d9a1..37f80d14f 100644 --- a/src/util/mpz.cpp +++ b/src/util/mpz.cpp @@ -1970,7 +1970,7 @@ void mpz_manager::mul2k(mpz & a, unsigned k) { ensure_capacity(a, new_sz); TRACE("mpz_mul2k", tout << "word_shift: " << word_shift << "\nbit_shift: " << bit_shift << "\nold_sz: " << old_sz << "\nnew_sz: " << new_sz << "\na after ensure capacity:\n" << to_string(a) << "\n";); - SASSERT(!is_small(a)); + SASSERT(a.m_ptr != nullptr); mpz_cell * cell_a = a.m_ptr; old_sz = cell_a->m_size; digit_t * ds = cell_a->m_digits;