From 694660b316623dc026d0525bbe8d82432425d4a0 Mon Sep 17 00:00:00 2001 From: David Gow Date: Thu, 7 Aug 2014 22:45:02 +0800 Subject: [PATCH] Yes, we do need to delete m_op somehow. --- src/gmpint.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/gmpint.h b/src/gmpint.h index f39cd51..6ed5303 100644 --- a/src/gmpint.h +++ b/src/gmpint.h @@ -15,8 +15,7 @@ class Gmpint Gmpint(int64_t i) {mpz_init_set_si(m_op, i);} Gmpint(const std::string & str, int base=10) {mpz_init_set_str(m_op, str.c_str(), base);} Gmpint(const Gmpint & cpy) {mpz_init(m_op); mpz_set(m_op, cpy.m_op);} - virtual ~Gmpint() {} //TODO: Do we need to delete m_op somehow? - + virtual ~Gmpint() {mpz_clear(m_op);} operator int64_t() const {return mpz_get_si(m_op);} operator uint64_t() const {return mpz_get_ui(m_op);} -- 2.20.1