mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 20:18:18 +00:00
Code Activity

Remove remnants of _MP_MSBIGNUM checks.

Browse source
This commit is contained in:
Bruce Mitchener 2022-08-02 08:43:59 +07:00 committed by Nikolaj Bjorner
parent 053c3ec9e8
commit 886c3abec1
1 changed files with 2 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/util/mpz.h
View file

@ -44,7 +44,7 @@ typedef unsigned digit_t;
template<bool SYNCH> class mpz_manager; template<bool SYNCH> class mpz_manager;
template<bool SYNCH> class mpq_manager; template<bool SYNCH> class mpq_manager;
#if !defined(_MP_GMP) && !defined(_MP_MSBIGNUM) && !defined(_MP_INTERNAL) #if !defined(_MP_GMP) && !defined(_MP_INTERNAL)
#ifdef _WINDOWS #ifdef _WINDOWS
#define _MP_INTERNAL #define _MP_INTERNAL
#else #else
@ -52,13 +52,8 @@ template<bool SYNCH> class mpq_manager;
#endif #endif
#endif #endif
#if defined(_MP_MSBIGNUM)
typedef size_t digit_t;
#elif defined(_MP_INTERNAL)
typedef unsigned int digit_t;
#endif
#ifndef _MP_GMP #ifndef _MP_GMP
typedef unsigned int digit_t;
class mpz_cell { class mpz_cell {
unsigned m_size; unsigned m_size;
unsigned m_capacity; unsigned m_capacity;