max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix: insert_mpz

Browse source
This commit is contained in:
Leonardo de Moura 2021-12-01 06:53:59 -08:00
parent 988b316e3f
commit 92a5f8f18e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/runtime/compact.cpp
View file

@ -274,7 +274,7 @@ void object_compactor::insert_mpz(object * o) {
size_t data_sz = sizeof(mpn_digit) * to_mpz(o)->m_value.m_size;
size_t sz = sizeof(mpz_object) + data_sz;
mpz_object * new_o = (mpz_object *)alloc(sz);
lean_set_non_heap_header_for_big((lean_object*)new_o, LeanMPZ, 0);
lean_set_non_heap_header((lean_object*)new_o, sz, LeanMPZ, 0);
new_o->m_value.m_size = to_mpz(o)->m_value.m_size;
new_o->m_value.m_sign = to_mpz(o)->m_value.m_sign;
new_o->m_value.m_digits = reinterpret_cast<mpn_digit*>(reinterpret_cast<char*>(new_o) + sizeof(mpz_object));