From dfbc50094745484145f2b7bcfcfb9e007d48dfae Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 24 Aug 2019 08:13:48 -0700 Subject: [PATCH] fix(runtime/mpz): (try to) fix Linux build again --- src/runtime/mpz.h | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/runtime/mpz.h b/src/runtime/mpz.h index 7df1dd44fe..632fb18a0f 100644 --- a/src/runtime/mpz.h +++ b/src/runtime/mpz.h @@ -26,10 +26,10 @@ class mpz { public: mpz() { mpz_init(m_val); } explicit mpz(char const * v) { mpz_init_set_str(m_val, const_cast(v), 10); } - explicit mpz(unsigned long int v) { mpz_init_set_ui(m_val, v); } - explicit mpz(long int v) { mpz_init_set_si(m_val, v); } explicit mpz(unsigned int v) { mpz_init_set_ui(m_val, v); } explicit mpz(int v) { mpz_init_set_si(m_val, v); } + explicit mpz(size_t v) { mpz_init_set_ui(m_val, v); } + explicit mpz(long int v) { mpz_init_set_si(m_val, v); } explicit mpz(uint64 v); explicit mpz(int64 v); mpz(mpz const & s) { mpz_init_set(m_val, s.m_val); } @@ -198,7 +198,6 @@ public: friend mpz operator/(mpz a, uint64 b) { return a /= b; } friend mpz operator/(mpz a, int b) { return a /= b; } friend mpz operator/(unsigned a, mpz const & b) { mpz r(a); return r /= b; } - friend mpz operator/(unsigned long a, mpz const & b) { mpz r(a); return r /= b; } friend mpz operator/(uint64 a, mpz const & b) { mpz r(a); return r /= b; } friend mpz operator/(int a, mpz const & b) { mpz r(a); return r /= b; }