commit 16f0e1e528d968d47fcbb43e57c4090f8e87e017
author Siva Chandra Reddy <sivachandra@google.com> Tue Aug 25 21:57:46 2020 -0700
committer Copybara-Service <copybara-worker@google.com> Sun Aug 30 14:24:20 2020 -0700
tree 5e03d54fdbf0e09cc57e26fe389698e08eb6e30a
parent a8f876b6da68021d1a9dacd866af79d221db4d49

[libc][obvious] Add back the accidentally removed MPFRNumber destructor.

GitOrigin-RevId: 1948acb61b1d900b43fa457b3517de2d7beacd63

utils/MPFRWrapper/MPFRUtils.cpp

diff --git a/utils/MPFRWrapper/MPFRUtils.cpp b/utils/MPFRWrapper/MPFRUtils.cpp
index 86882d0..1ee5cb1 100644
--- a/utils/MPFRWrapper/MPFRUtils.cpp
+++ b/utils/MPFRWrapper/MPFRUtils.cpp
@@ -70,6 +70,10 @@
     mpfr_set(value, other.value, MPFR_RNDN);
   }
 
+  ~MPFRNumber() {
+    mpfr_clear(value);
+  }
+
   MPFRNumber &operator=(const MPFRNumber &rhs) {
     mpfr_set(value, rhs.value, MPFR_RNDN);
     return *this;